Adding Joerg to Cc. This might be the same cause we've been seeing in some bug reports with the nested KVM.