kernel-uek [4.1.12-94.7.8] - x86/pti/efi: broken conversion from efi to kernel page table [Orabug: 27378087] [Orabug: 27352353] {CVE-2017-5754} - x86/spec: Always set IBRS to guest value on VMENTER and host on VMEXIT [Orabug: 27378074] - x86/IBRS: Make sure we restore MSR_IA32_SPEC_CTRL to a valid value [Orabug: 27378063] - x86/IBRS/IBPB: Set sysctl_ibrs/ibpb_enabled properly [Orabug: 2737803 ...