Not only that: the hdmi output doesn't work without the drm module either (it's not even there). So, we'd prefer if someone was able to fix that bug in the drm-kmp-default code :-) If any further information would be helpful, let me know!