[PATCH 1/8] x86: Add a new X86_RUN_64BIT_ONLY to Kconfig