allow a kernel argument to be passed through the reboot helper script, e.g.: % reboot /sys/src/9/pc/9pccpu