Re: [PATCH 3/3] drm/pl111: depend on CONFIG_VEXPRESS_CONFIG