[PATCH] x86_64: Fix incorrectly defined MSR_K8_SYSCFG