Latest UEK does not update microcode
The microcode_ctl package does not appear to be working with the latest UEK.
I don't see a record of it in the dmesg:
$ dmesg | egrep 'microcode:|Linux version'
[ 0.000000] Linux version 4.1.12-124.19.7.el7uek.x86_64 (mockbuild@) (gcc version 4.8.5 20150623 (Red Hat 4.8.5-16.0.3) (GCC) ) #2 SMP Sat Sep 29 17:29:22 PDT 2018
[ 0.924946] microcode: CPU0 sig=0x6fd, pf=0x1, revision=0xa1
[ 0.924970] microcode: CPU1 sig=0x6fd, pf=0x1, revision=0xa1
[ 0.925113] microcode: Microcode Update Driver: v2.00 <tigran@aivazian.fsnet.co.uk>, Peter Oruba
Booting under the RHCK, the update is applied:
$ dmesg | egrep 'microcode:|Linux version'
[ 0.000000] microcode: microcode updated early to revision 0xa4, date = 2010-10-02
[ 0.000000] Linux version 3.10.0-862.14.4.el7.x86_64 (