On Mon, 2021-07-26 at 16:51 +0200, Ard Biesheuvel wrote:

Ben reported that distro GRUB may fail to boot in some circumstances,
and tracked it down to an issue in the way distro GRUB allocates space
for the image. Due to an oversight (addressed in patch #2), this
condition is rarely triggered, but let's work around it in any case (#1)

Remaining patches add further warnings for conditions that are unlikely
to occur, but should not be ignored.

Build tested only.

Cc: Benjamin Herrenschmidt <benh@kernel.crashing.org>

All 4 patches:

Tested-by: Benjamin Herrenschmidt <benh@kernel.crashing.org>

I checked that it catches all of the errors, including reverting my fix
for randomalloc.c and verifying that it caught (and successfully worked
around) the original boot  crash.

Cheers,
Ben.