[tip: x86/urgent] x86/entry: Correct reference to intended CONFIG_64_BIT