Re: [LinuxBIOS] patch: add cpu.h support