arch/arm64: dts: change 10gbase-kr to 10gbase-r in Armada