# CONFIG_DRM_ARMADA is not set