kernel: use CONFIG_MACH* to populate architecture{,_32}