/plat/qemu/aarch32/