Re: [PATCH 0/3] rpi: Tidy up booting