archlinux: State EFI support

See also https://gitlab.gnome.org/GNOME/gnome-boxes/-/issues/510

I managed to boot and install it successfully with EFI, another Boxes user was also able to do so.