Subject: Re: [PATCH] gnu: system: Disable EFI pstore backend by default
From: Leo Famulari <[email-masked]>
To: [email-masked]
Date: Mon, 3 Feb 2025 16:25:09 -0500
List-Id: <debbugs-submit.debbugs.gnu.org>

I pushed this fix as commit 616ae36e0f557cecb4abe58c5b0973b9428d25e0.

I decided to effect the change using the Guile
'default-extra-linux-options' interface to the build-time kernel
configuration.

Thanks to everyone involved for helping debug and suggest fixes.