Removing the "splash" setting from the kernel line in the grub config solves the issue. Naturally, it removes the splash screen, I get the usual text mode boot log, so it is not really a bug fix.
Removing the "splash" setting from the kernel line in the grub config
solves the issue. Naturally, it removes the splash screen, I get the
usual text mode boot log, so it is not really a bug fix.