On my Raspberry Pi 1B+ device, the following error message (which seems to be caused by the CONFIG_DRM_VC4 kernel driver) is logged during boot: => debugfs: Directory '20902000.hdmi' with parent 'vc4-hdmi' already present!