Build boot1.efi for arm64

We can use the boot1 code directly with a few Makefile changes.