Absolutely :) Just run: sudo modprobe efivars sudo efibootmgr --create --loader '\path\to\arch's\bootloader.efi' --label "Red Hat Enterprise Linux" and that's it :) Just press F12 when booting and choose the appropriate entry.