Fixed width of documentation of rtos.h