[LinuxBIOS] FYI: Free UEFI implementation not possible?