Enable paravirtualized framebuffer support.
Disable GPIO, I2C and suspend; Add virtual touchdev
Introduce bad_stuff function that touches IPU memory, which isn't allowed
to Linux. This is used by the Genode Trustzone VMM for demonstration purposes.