On Tue, Aug 11, 2020 at 06:46:01PM -0400, Leo Famulari wrote:
> Good ideas. I've taken them into account on my local branch while I test
> building the final tarballs. I'll push to the kernel-updates branch once
> I am satisfied with the result.

I've pushed an updated patch to the kernel-updates branch:

https://git.savannah.gnu.org/cgit/guix.git/commit/?h=kernel-updates&id=387446c93261868bd4c4188687b508aa0a2da7e8

It will be built on the build farm here, based on commit b1f5568b1:

https://ci.guix.gnu.org/jobset/kernel-updates