Hello,
I can also confirm that there are no boot problems with 4.15.0-15.16 and noibpb disabled in GRUB_CMDLINE_LINUX
Hello,
I can also confirm that there are no boot problems with 4.15.0-15.16 and noibpb disabled in GRUB_CMDLINE_LINUX