Merge "[MIPS64] Regenerate mips kernel headers with fixed tool"