trivial: Remove sel4benchsupport from sel4bench

libsel4bench doesn't depend on sel4benchsupport.

libsel4bench/CMakeLists.txt

diff --git a/libsel4bench/CMakeLists.txt b/libsel4bench/CMakeLists.txt
index 704db35..c932b33 100644
--- a/libsel4bench/CMakeLists.txt
+++ b/libsel4bench/CMakeLists.txt
@@ -39,4 +39,4 @@
 if(KernelArmArmV STREQUAL "armv7ve")
     target_include_directories(sel4bench PUBLIC "arch_include/${KernelArch}/armv/armv7-a")
 endif()
-target_link_libraries(sel4bench muslc sel4 utils sel4benchsupport sel4_autoconf)
+target_link_libraries(sel4bench muslc sel4 utils sel4_autoconf)