This makes it clearer which ones actually are real platforms (chosen automatically or explicitly via "make ARCH=foo") and which ones just are shared helpers.
