kvm: x86: only channel 0 of the i8254 is linked to the HPET