[ACTIVITY] report week ending 11 May

Progress: [short week, 3 days] * VIRT-65 [QEMU upstream maintainership] + code review - RTH's FP16 bugfixing patchset - Alex's float-to-float conversion patchset - fixes to SD card CRC checking - various minor linux-user cleanups * VIRT-164 [improve Cortex-M emulation] + working on emulation of Memory Protection Controller: have a working prototype that needs a few loose ends tidied up

thanks -- PMM