Comment # 7 on bug 1104616 from Stefan Seyfried

I cannot clearly reproduce this after rebooting into the debug kernel, maybe
also an issue with the virtualbox hypervisor.

What I'm getting now on some boots is:

[    7.509824] BUG: Bad rss-counter state mm:ffff880036903b00 idx:0 val:910
[    7.509854] BUG: Bad rss-counter state mm:ffff880036903b00 idx:1 val:102
[    7.509877] BUG: non-zero nr_ptes on freeing mm: 20

with differing values and differing number of lines. When I get the BUG during
boot, I'll get some backtraces shortly before shutdown/reboot.

I do not get theses if I blacklist the virtualbox modules, even though they are
loades later by the init scripts / systemd services.

So "modprobe.blacklist=vboxguest" is enough to make this work for me.

The virtualbox-guest-kmp-default is still built for an older kernel:

seife@seife:~> rpm -q virtualbox-guest-kmp-default
virtualbox-guest-kmp-default-5.2.16_k4.12.14_lp150.12.7-lp150.4.9.1.x86_64

so maybe just rebuilding it against the current kernel might help?