[MIPS64] Regenerate mips kernel headers with fixed tool

Change-Id: I530891123cba78edbea4aa8af88390213711ab16
5 files changed