Update notes for submitted changes

* No support for double nested 64 bit guest using VCDriver