# CONFIG_DRM_ETNAVIV is not set