Re: [OpenBIOS] [PATCH 0/2] 40p minor fixes