Revert "Revert "Renumber harvey system call numbers""