[PATCH v2] drm/pl111: Actually fix CONFIG_VEXPRESS_CONFIG depends