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

[Tom Rini]

On Mon, Feb 22, 2016 at 10:06:47PM +0100, Lubomir Rintel wrote:

> Gets propagated into the device tree and then into /proc/cpuinfo where
> users often expect it.
> 
> Signed-off-by: Lubomir Rintel <lkundrak at v3.sk>
> Tested-by: Stephen Warren <swarren at wwwdotorg.org>
> Reviewed-by: Stephen Warren <swarren at wwwdotorg.org>

Applied to u-boot/master, thanks!

-- 
Tom
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 836 bytes
Desc: Digital signature
URL: <http://lists.denx.de/pipermail/u-boot/attachments/20160225/a693ba56/attachment.sig>