[MIPS] Kconfig: Include init/Kconfig after we've set 32BIT / 64BIT.