Re: F17, Apple, EFI boot, livecd-tools