Update notes for submitted changes

* Support setting a machine type to enable ARMv7/AArch64 guests to boot