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