Hi Greg, thank you very much for your help. It's highly appreciated.
It's so good to have have some confirmation by such knowledgeable people like you.
So for now I think I won't have to change anything as I'm currently running Debian stable in a virtual machine. Yet when setting it up as a daily driver (as a main system) I'd consider applying the changes especially in view of microcode.
I'm really glad to have learnt something new (to me at least) again. Thanks a lot for your help. Many greetings and keep safe. Rosika
