Hello Arne,

>>>
>>> /var/log/bootlog however, states current microcodes have been loaded:
>>>> [    0.000000] microcode: microcode updated early to revision 0x368, date = 2019-04-23
>>>> [    0.000000] Linux version 4.14.121-ipfire (root(a)helena.ipfire.org.ipfire.org) (gcc version 7.3.0 (GCC)) #1 SMP Wed May 22 13:45:15 GMT 2019
>>>
>>> (Two glitches here: "helena.ipfire.org.ipfire.org" and GCC 7.3.0 .
>>> I thought the toolchain now uses GCC 8.0?!)Since we did not ship an updated Linux kernel, I guess this cannot
>> say "GCC 8.x" yet. Sorry.
> If you are using the 32bit PAE Kerel this is still compiled with 7.3.0 (core131).

I am running a x86_64 kernel on this system.

Thanks, and best regards,
Peter Müller
-- 
The road to Hades is easy to travel.
	-- Bion of Borysthenes