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!
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!