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/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)
