Thanks for the hint, Christopher! Unfortunately, I set up this machine for some relatives of mine, so I don't have access to it any more. However I installed Teamviewer for urgent cases, so if they should encounter any problems and I can get access to it, I will use the opportunity to file a bug report. For now I just permanently added the kernel option to the GRUB configuration.
Thanks for the hint, Christopher! Unfortunately, I set up this machine for some relatives of mine, so I don't have access to it any more. However I installed Teamviewer for urgent cases, so if they should encounter any problems and I can get access to it, I will use the opportunity to file a bug report. For now I just permanently added the kernel option to the GRUB configuration.