benchmark: "semaphores" module should be a dependency for kernel_footprint.