Re: [iKGT] UEFI support