[PATCH v4 34/46] x86: Fix up use of X86_32BIT_INIT and X86_64 options