Hi! I've tested Philipp's proposed changes on an up-to-date Debian sid that's affected by this problem, and it seems to work just fine here:
* before: kernel: microcode: sig=0x40651, pf=0x40, revision=0x1c * after: kernel: microcode: microcode updated early to revision 0x20, date = 2017-01-27 kernel: microcode: sig=0x40651, pf=0x40, revision=0x20 Thanks! :) Cheers, -- intrigeri
