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