Re: [arch-releng] Linux-3.3 now hits [core], enable or not EFI on ISOs?