On 27/05/2023 at 17:08, Peter Ehlert wrote:
I suppose this use case is rather rare
I do not know how rare your use case is, but I can tell this bug has been around for several Debian releases. I have observed it several times, and I have seen several other people reporting it over time. However the more UEFI boot takes over from legacy BIOS boot, the more rare it is going to be as it affects only BIOS boot.