Switch to GRUB for both BIOS and UEFI booting