squash me to: "ports: add VirtualBox as VMM for Genode"