Does grub2-pc do anything on an EFI system?