Am 2019-11-17 22:41, schrieb Peter Müller:
> Hello Arne,
> 
> thanks for your quick reply.
> 
> I am still puzzled by the output of "grep microcode /var/log/bootlog".
> Does yours
> differ from mine, especially when it comes to the microcode release 
> date?
> 
> Thanks, and best regards,
> Peter Müller

Intel has released new microcodes on 15.11.2019