How does the GRUB2 UEFI loader know where to look for