Hi, I want to enable the debug output in the Intel framebuffer (to see messages printed by DRM_DEBUG_KMS). This is usually done by adding the boot parameter `drm.debug=0xe`. How would I enable this in Genode with Nova? JK