Re: [LinuxBIOS] [PATCH][v3] Merge hlt() into cpu.h (svn resync)