Hi!

Not installing files to /boot

https://lists.debian.org/debian-kernel/2022/09/msg00062.html

I hope this will be rejected by Debian community.

EFI has a partition already, why then use FAT filesystem for /boot is
beyond me. Especially as EFI should be replaced by something sane
anyway.

Ciao,
--
Martin