[ACTIVITY] report week ending 17 May

Progress: * VIRT-65 [QEMU upstream maintainership] + finally managed to complete review of Damien's reset handling rework + rolled v2 of patchset to support booting large kernel images + sent a cleanup patchset to rename arm.h to boot.h

* VIRT-268 [QEMU support for dual-core Cortex-M Musca board] + working on making the CPU model configurable without FPU or DSP, so that we can correctly model the Musca-A and MPS2-AN521 boards as not having FPU or DSP on CPU #0.

thanks -- PMM