Re: [OpenBIOS] [PATCH 0/3] Misc fixup patches