if test -d /sys/firmware/efi; then addpkg "grub-x86_64-efi" else addpkg "grub" fi