Ok I changed those settings, thank you I'll keep an eye on my logs to see if it changes anything. There were no available updates and the bios is up to date. Normally the kernel error occurs when the pc is not in use so I do not observe what happens, when I did see it for the first time today...