[PATCH] drm/pl111: Actually fix CONFIG_VEXPRESS_CONFIG depends