Thanks. I upgraded the kernel (had to turn off secure boot to do it), and set the nvme kernel option, too. So far no unwanted side-effects, but it's too soon to say if it fixed the problem.