x86 isa: add back X86_32 dependency on CONFIG_ISA