benchmark: add semaphore code to the kernel_footprint benchmark.