[LinuxBIOS] Probable fix for gcc4 builds