1. me@gentoo ~ $ sudo zgrep CONFIG_DRM_NOUVEAU /proc/config.gz
  2. Password:
  3. # CONFIG_DRM_NOUVEAU is not set