[PATCH v4 4/6] drm: Decouple nomodeset from CONFIG_VGA_CONSOLE