Re: [U-Boot] rpi: link to another model number info source