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