x86, hpet: Introduce x86_msi_ops.setup_hpet_msi