7.1. aarch64 (AArch64)

There are no AArch64 BSPs yet.