[LinuxBIOS] Question about UEFI payload for LinuxBIOS