* commit '6131798e574d85200053d93bc2673ab5a0f715fe': [MIPS64] Regenerate mips kernel headers with fixed tool