gnu: linux-libre: Update to 5.1.

gnu: linux-libre: Update to 5.1.

* gnu/packages/linux.scm (%linux-libre-version): Update to 5.1.
(%linux-libre-hash): Update hash.
(%linux-libre-5.0-patches): Rename to ...
(%linux-libre-5.1-patches): ... this.
(linux-libre, linux-libre-arm-generic, linux-libre-arm-veyron)
(linux-libre-arm-omap2plus): Use %linux-libre-5.1-patches.
(vhba-module): Move definition below the kernel packages.
* gnu/packages/aux-files/linux-libre/5.0-arm-veyron.conf,
gnu/packages/aux-files/linux-libre/5.0-arm.conf,
gnu/packages/aux-files/linux-libre/5.0-arm64.conf,
gnu/packages/aux-files/linux-libre/5.0-i686.conf,
gnu/packages/aux-files/linux-libre/5.0-x86_64.conf: Delete files.
* gnu/packages/aux-files/linux-libre/5.1-arm-veyron.conf,
gnu/packages/aux-files/linux-libre/5.1-arm.conf,
gnu/packages/aux-files/linux-libre/5.1-arm64.conf,
gnu/packages/aux-files/linux-libre/5.1-i686.conf,
gnu/packages/aux-files/linux-libre/5.1-x86_64.conf: New files.
* Makefile.am (AUX_FILES): Adjust accordingly.