Revert "Semaphore kernel"

This reverts commit a35243bfb4add785de987b58f74ec7bd85081a8d.