Comment 55 for bug 1759920

It looks like this is the same problem as https://bugs.launchpad.net/ubuntu/+source/linux/+bug/1746418. And adding 'noibpb' kernel boot parameter helps, at least in my case.