Setting build.arch in platforms.txt does not work, it appears the builder substitutes the name of something else. Workaround is to just ignore build.arch and hard code the name in compiler recipes e.g. -DARCH_KINETIS_K60