diff --git a/arch/lkl/Kconfig b/arch/lkl/Kconfig
index 67cf0a6cb0628d..84228a1275c366 100644
--- a/arch/lkl/Kconfig
+++ b/arch/lkl/Kconfig
@@ -4,11 +4,7 @@ config LKL
        select ARCH_THREAD_STACK_ALLOCATOR
        select RWSEM_GENERIC_SPINLOCK
        select GENERIC_ATOMIC64
-       select SEMAPHORE_SLEEPERS
-       select GENERIC_TIME
-       select GENERIC_FIND_NEXT_BIT
        select GENERIC_HWEIGHT
-       select GENERIC_HARDIRQS
        select FLATMEM
        select FLAT_NODE_MEM_MAP
        select GENERIC_CLOCKEVENTS