[PATCH v4 06/18] tools/nolibc: types.h: add RB_ flags for reboot()