[PATCH v2 2/2] x86: select CONFIG_64BIT for X86_64