replace kernel_autoconf with sel4_autoconf since the mainline kernel's kernel_autoconf doesn't include seL4/gen_config.h but sel4_autoconf does

diff --git a/libsel4allocman/CMakeLists.txt b/libsel4allocman/CMakeLists.txt
index 1a06011..face790 100644
--- a/libsel4allocman/CMakeLists.txt
+++ b/libsel4allocman/CMakeLists.txt

@@ -38,5 +38,5 @@
         sel4vka
         sel4utils
         sel4vspace
-        kernel_autoconf
+        sel4_autoconf
 )

diff --git a/libsel4bench/CMakeLists.txt b/libsel4bench/CMakeLists.txt
index 6bc42aa..704db35 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 kernel_autoconf)
+target_link_libraries(sel4bench muslc sel4 utils sel4benchsupport sel4_autoconf)

diff --git a/libsel4debug/CMakeLists.txt b/libsel4debug/CMakeLists.txt
index fad98da..850cc5a 100644
--- a/libsel4debug/CMakeLists.txt
+++ b/libsel4debug/CMakeLists.txt

@@ -72,4 +72,4 @@
     sel4debug
     PUBLIC include "arch_include/${KernelArch}" sel4_arch_include/${KernelSel4Arch}
 )
-target_link_libraries(sel4debug PUBLIC muslc sel4 utils PRIVATE sel4debug_Config kernel_autoconf)
+target_link_libraries(sel4debug PUBLIC muslc sel4 utils PRIVATE sel4debug_Config sel4_autoconf)

diff --git a/libsel4muslcsys/CMakeLists.txt b/libsel4muslcsys/CMakeLists.txt
index e7c560f..3c1b928 100644
--- a/libsel4muslcsys/CMakeLists.txt
+++ b/libsel4muslcsys/CMakeLists.txt

@@ -83,5 +83,5 @@
         utils
         sel4utils
         sel4muslcsys_Config
-    PRIVATE kernel_autoconf
+    PRIVATE sel4_autoconf
 )

diff --git a/libsel4platsupport/CMakeLists.txt b/libsel4platsupport/CMakeLists.txt
index 9ce6cda..b23531b 100644
--- a/libsel4platsupport/CMakeLists.txt
+++ b/libsel4platsupport/CMakeLists.txt

@@ -87,5 +87,5 @@
         sel4vspace
         platsupport
         sel4simple-default
-    PRIVATE sel4platsupport_Config sel4muslcsys_Config kernel_autoconf
+    PRIVATE sel4platsupport_Config sel4muslcsys_Config sel4_autoconf
 )

diff --git a/libsel4serialserver/CMakeLists.txt b/libsel4serialserver/CMakeLists.txt
index d59d111..ec98110 100644
--- a/libsel4serialserver/CMakeLists.txt
+++ b/libsel4serialserver/CMakeLists.txt

@@ -41,7 +41,7 @@
         utils
         sel4utils
         sel4vka
-    PRIVATE kernel_autoconf sel4serialserver_Config
+    PRIVATE sel4_autoconf sel4serialserver_Config
 )
 
 add_library(sel4serialserver_tests STATIC EXCLUDE_FROM_ALL src/test.c)

diff --git a/libsel4simple-default/CMakeLists.txt b/libsel4simple-default/CMakeLists.txt
index 5d7e336..bec383c 100644
--- a/libsel4simple-default/CMakeLists.txt
+++ b/libsel4simple-default/CMakeLists.txt

@@ -28,5 +28,5 @@
         sel4simple
         sel4debug
         sel4vspace
-    PRIVATE kernel_autoconf
+    PRIVATE sel4_autoconf
 )

diff --git a/libsel4simple/CMakeLists.txt b/libsel4simple/CMakeLists.txt
index a844e5c..9a350de 100644
--- a/libsel4simple/CMakeLists.txt
+++ b/libsel4simple/CMakeLists.txt

@@ -26,4 +26,4 @@
 
 add_library(sel4simple STATIC EXCLUDE_FROM_ALL ${deps})
 target_include_directories(sel4simple PUBLIC include "arch_include/${kernel_arch}")
-target_link_libraries(sel4simple muslc sel4 utils sel4vka kernel_autoconf)
+target_link_libraries(sel4simple muslc sel4 utils sel4vka sel4_autoconf)

diff --git a/libsel4sync/CMakeLists.txt b/libsel4sync/CMakeLists.txt
index a0ca986..5faf9cb 100644
--- a/libsel4sync/CMakeLists.txt
+++ b/libsel4sync/CMakeLists.txt

@@ -20,4 +20,4 @@
 
 add_library(sel4sync STATIC EXCLUDE_FROM_ALL ${deps})
 target_include_directories(sel4sync PUBLIC include)
-target_link_libraries(sel4sync muslc sel4 sel4vka platsupport utils kernel_autoconf)
+target_link_libraries(sel4sync muslc sel4 sel4vka platsupport utils sel4_autoconf)

diff --git a/libsel4test/CMakeLists.txt b/libsel4test/CMakeLists.txt
index 7a05154..b903f19 100644
--- a/libsel4test/CMakeLists.txt
+++ b/libsel4test/CMakeLists.txt

@@ -57,6 +57,6 @@
     sel4sync
     sel4simple
     sel4utils
-    kernel_autoconf
+    sel4_autoconf
     sel4test_Config
 )

diff --git a/libsel4utils/CMakeLists.txt b/libsel4utils/CMakeLists.txt
index 35dc686..ed5363b 100644
--- a/libsel4utils/CMakeLists.txt
+++ b/libsel4utils/CMakeLists.txt

@@ -68,5 +68,5 @@
     elf
     cpio
     sel4utils_Config
-    kernel_autoconf
+    sel4_autoconf
 )

diff --git a/libsel4vka/CMakeLists.txt b/libsel4vka/CMakeLists.txt
index a3e32ba..b1e5fe8 100644
--- a/libsel4vka/CMakeLists.txt
+++ b/libsel4vka/CMakeLists.txt

@@ -67,5 +67,5 @@
         sel4
         utils
         sel4vka_Config
-        kernel_autoconf
+        sel4_autoconf
 )

diff --git a/libsel4vmm/CMakeLists.txt b/libsel4vmm/CMakeLists.txt
index 5694a60..5dc65a9 100644
--- a/libsel4vmm/CMakeLists.txt
+++ b/libsel4vmm/CMakeLists.txt

@@ -95,5 +95,5 @@
         ethdrivers
         platsupport
         sel4vmm_Config
-        kernel_autoconf
+        sel4_autoconf
 )

diff --git a/libsel4vspace/CMakeLists.txt b/libsel4vspace/CMakeLists.txt
index 89c7d12..02dd4e4 100644
--- a/libsel4vspace/CMakeLists.txt
+++ b/libsel4vspace/CMakeLists.txt

@@ -26,4 +26,4 @@
 
 add_library(sel4vspace STATIC EXCLUDE_FROM_ALL ${deps})
 target_include_directories(sel4vspace PUBLIC include "arch_include/${KernelArch}")
-target_link_libraries(sel4vspace muslc sel4 sel4vka kernel_autoconf sel4utils_Config)
+target_link_libraries(sel4vspace muslc sel4 sel4vka sel4_autoconf sel4utils_Config)