x86: using HPET in MSI mode and setting up per CPU HPET timers, fix