Real semaphores for UCOSII.

Removed placeholders, implemented the real stuff.