remove ppoll() and reboot() as non-generated