# CONFIG_DRM_DUMB_VGA_DAC is not set