[RESEND PATCH v3 0/3] rpi: Convert to standard boot