drm/pl111: Actually fix CONFIG_VEXPRESS_CONFIG depends