mips: reboot() and ppoll() need extra arguments