piCore GUI via HDMI

To have GUI available via HDMI load the following extensions. After this you can use 'startx' to directly start the GUI, or just reboot and the GUI should start by default.