Re: [PATCH v2 0/5] rpi: Tidy up booting