ARM: dts: armadillo800eva: Name serial port pfc subnode after device name