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