adds proper kconfig to select the new mach types