Re: [LinuxBIOS] missing header