Use machine options to emulate -no-kvm-irqchip