Re: [LinuxBIOS] Question about UEFI payload for LinuxBIOS