[U-Boot] [PATCH] rpi: set board serial number in environment

[Stephen Warren]

On 02/22/2016 02:06 PM, Lubomir Rintel wrote:
> Gets propagated into the device tree and then into /proc/cpuinfo where
> users often expect it.

Tested-by: Stephen Warren <swarren at wwwdotorg.org>
(on qemu-0xabu at least)

Reviewed-by: Stephen Warren <swarren at wwwdotorg.org>