4.15.0-12.13-generic from bionic-proposed is also working for me. Relevant CPU model info (same as in description):
cpu family : 6 model : 142 model name : Intel(R) Core(TM) i7-7500U CPU @ 2.70GHz stepping : 9 microcode : 0x84 Model 142 corresponds to 0x8E in hex, which the kernel defines as: #define INTEL_FAM6_KABYLAKE_MOBILE 0x8E After booting into the 4.15.0-12.13-generic kernel, /proc/cpuinfo now contains "ibpb ibrs stibp" as well. Thanks! -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1755624 Title: With intel-microcode 3.20180312, kernel reports as broken spectre v2 microcode To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/linux/+bug/1755624/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs