Microkit Release 1.4.1

This release contains various bug fixes. It does not include any new features.

Fixed two bugs in the tool that lead to initialisation failure on larger Microkit systems.
Disabled the KernelArmVtimerUpdateVOffset kernel configuration option by default.
- This is necessary for Microkit VMs where they rely on knowing the actual surpassed time. More details are in the pull request.
Enabled FPU for QEMU RISC-V virt and Pine64 Star64.
- libmicrokit builds with hardware floating point enabled and, while it does not use the FPU, it means that every object linked with libmicrokit must also build with hardware floating point enabled. Previously using floating point operations would cause a crash in user-space.
Fixed the loader link address for the MaaXBoard.
- This does mean that if you target the MaaxBoard you will have to load Microkit images at a different address. See the manual for details.
Added error checking for overlapping memory regions.
Included every TCB register in the monitor logs when a fault occurs.
Made the tool compile from source with a Rust version lower that 1.79.0.
Specified a minimum Rust version for the tool (1.73.0).
Fixed typo in the --help output of the tool.
Minor README fixes.
Updated PyYAML dependency in requirements.txt to 6.0.2 (from 6.0).

Full changelog

See the documentation or ask on the mailing list!