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