Disabling CONFIG_DEBUG_INFO so that local builds aren't so enormous.
Also turning off nvidiafb module based on a bug report I received.
Nouveau has its own framebuffer device and it looks like they conflict
if you load both.
* gnu/packages/linux-libre-x86_64.conf: Comment out CONFIG_FB_NVIDIA,
and remove related items. Comment out CONFIG_DEBUG_INFO.
* gnu/packages/linux-libre-i686.conf: Likewise.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Thanks to Jason Self <jself@gnu.org> for the kernel configs.
* gnu/packages/linux.scm (kernel-config): New procedure.
(linux-libre)[build-phase]: Copy it to .config. Reduce the list of
things appended to .config.
[native-inputs]: Add "kconfig" input.
* gnu/packages/linux-libre-i686.conf,
gnu/packages/linux-libre-x86_64.conf: New files, from
<http://jxself.org/x86-32.txt> and <http://jxself.org/x86-64.txt>.
* Makefile.am (KCONFIGS): New variable.
(nobase_dist_guilemodule_DATA): Add it.
