Re: [LinuxBIOS] [PATCH] small fixes