Fix bug where syscall number bounds are not properly validated