[PATCH] x86-64: x86_64 rename X86_FEATURE_DTES to X86_FEATURE_DS