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