x86/hpet: Use proper hpet device number for MSI allocation