diff --git a/operating-systems/buer.scm b/operating-systems/buer.scm
index ab08b29..c601140 100644
--- a/operating-systems/buer.scm
+++ b/operating-systems/buer.scm
@@ -122,13 +122,9 @@
    (kernel-arguments
     (cons* "modprobe.blacklist=usbmouse,usbkbd,pcspkr"
            "thinkpad_acpi.fan_control=1"
-           (filter (apply conjoin
-                          (map (partial partial (negate string-prefix?))
-                               (list "debugfs"
-                                     "l1tf"
-                                     "mds"
-                                     "mitigations"
-                                     "nosmt")))
+           (filter ((on (negate disjoin)
+                        (partial partial string-prefix?))
+                    (list "debugfs" "l1tf" "mds" "mitigations" "nosmt"))
                    %kicksecure-kernel-arguments)))
 
    (file-systems