Re: [LinuxBIOS] [PATCH] v3: cpu.h improvements (take 2)