MSI support in Genode