Use the following BIOS settings:
If you make to boot into the latest arch ISO (June 2016) on a USB, arch EFI boot menu hangs. To install you can use the archiso released on 2016-01-01.
It is recommended to use GRUB 2. systemd-boot may hang.
systemd-boot