Remove the "platform-" prefix from common shared makefiles

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.
Merge pull request #1432 from mstorsjo/rename-makefiles

Remove the "platform-" prefix from common shared makefiles