x86: assign IRQs to HPET timers, fix