Subject: Re: [bug#29195] [PATCH] gnu: linux: Add linux-libre arm kernel.

From: Mathieu Othacehe <[email-masked]>
Date: Thu, 09 Nov 2017 20:37:19 +0100

> Sure, why not.

Pushed with a small comment on armhf-linux configuration origin.

Thanks,

Mathieu