c5bf703c4c
We could do better, but not without MIPS cleaning up their kernel headers. Change-Id: Ib4d4ce5d720ce8ca27a3f9a1ae07a9a277675af9