[PATCH 3/4] [RFC] ARM: multiplatform: rename all mach headers