Re: [LinuxBIOS] [PATCH] v3: Move htl() into cpu.h