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.