kconfig: use $K64BIT to set 64BIT with all*config targets