RE: MSI support in Genode