CONFIG_HAVE_KVM_IRQ_ROUTING=y
