I created a new 'mono-master' branch in ivkm-fork, which is based
at the previous ikvm commit, then cherry-picked my single commit.

Apparently, there are API changes in IVKM which prevent it from
being applied cleanly.