Fix mips/mips64 headers

Change-Id: Id65b3bd0c040df62710eee4f5d6571cb5667d57a
8 files changed