x86/bugs: Make sure MSR_SPEC_CTRL is updated properly upon resume from S3