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