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