POSIX: Improvements on semaphore abstraction

src/platforms/posix/px4_layer/drv_hrt.c

src/platforms/posix/px4_layer/px4_posix_impl.cpp

src/platforms/posix/px4_layer/px4_posix_tasks.cpp

src/platforms/posix/px4_layer/px4_sem.cpp