[PATCH 5.13 444/800] drm/pl111: depend on CONFIG_VEXPRESS_CONFIG