[PATCH 3.16 010/131] x86/bugs: Whitelist allowed SPEC_CTRL MSR values