gnu: linux-libre: Update to 3.18

* gnu/packages/linux.scm (linux-libre): Update to version 3.18.

gnu: linux-libre: Update to 3.17.

* gnu/packages/linux.scm (linux-libre): Update to version 3.17.

Merge branch 'master' into core-updates

gnu: linux-libre: Update to 3.16.

* gnu/packages/linux.scm (linux-libre): Update to version 3.16.

gnu: linux-libre: Disable CONFIG_DEBUG_INFO and turn off nvidiafb module.

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>

gnu: linux-libre: Add i686 and x86_64 full-blown configs.

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.