I can also add that when the kernel is started via kexec instead of via normal hardware boot, the problem does not occur.
I can also add that when the kernel is started via kexec instead of via normal hardware boot, the problem does not occur.