linux on mac with efi boot