Re: [LinuxBIOS] HT interrupts