Indeed, the -proposed kernel versions which included this fix were all bumped out due to an unrelated security fix release. The next kernel versions (now available in -proposed) include the fix again:
trusty 3.13.0-148.197 xenial 4.4.0-125.150 artful 4.13.0-42.47 -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1755627 Title: ibrs/ibpb fixes result in excessive kernel logging To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/linux/+bug/1755627/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs