[LinuxBIOS] [PATCH] small fixes