Re: [LinuxBIOS] UEFI discussion