tree d4f30da69e1c4f37a61ee435b1eb3a31f59aa6bc
parent e90e0217816c37150bcbb1f6baf082deeb198a52
author Lubomir Rintel <lkundrak@v3.sk> 1456175207 +0100
committer Tom Rini <trini@konsulko.com> 1456357452 -0500

rpi: set board serial number in environment

Gets propagated into the device tree and then into /proc/cpuinfo where
users often expect it.

Signed-off-by: Lubomir Rintel <lkundrak@v3.sk>
Tested-by: Stephen Warren <swarren@wwwdotorg.org>
Reviewed-by: Stephen Warren <swarren@wwwdotorg.org>