Denis 'GNUtoo' Carikli schreef op wo 18-05-2022 om 15:50 [+0200]:
> [...]
> Do I still need to do something with the patch serie adding support for
> 32bit UEFI or is everything OK?

I'm not familiar enough with grub etc. to tell.

Greetings,
Maxime.