[PATCH 4.9 45/87] x86/bugs: Whitelist allowed SPEC_CTRL MSR values