Bisected it to:

b95a8a27c300 ("x86/vdso: Use generic VDSO clock mode storage")

The effect observed is that after the host is resumed, the clock in
the guest is somewhat in the future and is stopped.  I.e. repeated
date(1) invocations show the same time.

Attaching the .config

Thanks,
Miklos