[PATCH v4 07/18] selftests/nolibc: prefer <sys/reboot.h> to <linux/reboot.h>