MSI support for PCIe #65
Description
Not possible to have MSIs through ITS due to Rockchip erratum 3588001, but the OSes we're interested in do support SPI-based MSI by having a V2M entry in MADT.
The definition is already there but commented out as it needs more testing.