Re: [PATCH] x86/xen: zero MSR_IA32_SPEC_CTRL before suspend