Is there a reason, the header is not in `$(RIOTBASE)/sys/include` as all other sys-headers?