[PATCH 5.13 446/800] drm/pl111: Actually fix CONFIG_VEXPRESS_CONFIG depends