[PATCH v4 01/10] PCI/MSI: Support allocating virtual MSI interrupts