This commit moves the comments from the k_semaphore.c file to the semaphore.h and kernel_main.h files. Change-Id: Ica86945e738f1f61b8ed216981bce55351029645 Signed-off-by: Juan Manuel Cruz <juan.m.cruz.alcaraz@linux.intel.com>