[patch-axel-45] vm_get_default_intr_vcpu()

[patch-axel-45] vm_get_default_intr_vcpu() #238