OT: Creating a livecd with efi support using Fedora