See [*Bare-metal Boot Code for ARMv8-A Processors Application Note 527*](https://developer.arm.com/documentation/dai0527/a/?lang=en) for details on how to set up Armv8-A processors in AArch32 for bare-metal usage. We should cross-reference against this and make sure we got everything right.