]> git.sur5r.net Git - u-boot/search
rpi: set board serial number in environment