arch/x86/kernel/cpu/amd.c:753: warning: "MSR_AMD64_DE_CFG" redefined