Re: [LinuxBIOS] Probable fix for gcc4 builds