Subject: [bug#35888] [PATCH] gnu: Use make-linux-libre-headers.

From: Danny Milosavljevic <[email-masked]>
Date: Wed, 29 May 2019 18:32:12 +0200

Pushed to guix master as commit a15cee50cebddc665a16b455f44e22dcfb87d57f
with slight changes to the commit message.

Thanks!