[OpenBIOS] Re: boy is EFI a kludge!