In the release notes of Genode version 14.02 there is a screenshot of a GUI environment that has two VirtualBox windows, one running TinyCore, one running Windows 7 (https://genode.org/documentation/release-notes/14.02). How do I reproduce this example? When I run the make run/virtualbox demo there is no GUI (until I get into one guest OS GUI, TinyCore), there is only a text-based boot environment then the hand-off to VirtualBox in that text environment. I need to be able to successfully boot up into that GUI environment and demonstrate two distinct VM's are running. Any assistance in this effort would be greatly appreciated.