This grabs the serial number shown in cpuinfo from the serial-number device-tree
property in priority. When booting with ATAGs (and without device-tree), the
provided number is still shown instead.
Signed-off-by: NPaul Kocialkowski <contact@paulk.fr>
Signed-off-by: NRussell King <rmk+kernel@arm.linux.org.uk>