diff --git a/pkgs/additional/linux-sane-pinephonepro/default.nix b/pkgs/additional/linux-sane-pinephonepro/default.nix
index ec6a33afd..086d0c1e5 100644
--- a/pkgs/additional/linux-sane-pinephonepro/default.nix
+++ b/pkgs/additional/linux-sane-pinephonepro/default.nix
@@ -72,10 +72,12 @@ linux_latest.override {
         # this is required for boot (but why??)
         ACPI_FPDT = lib.mkForce no;
 
-        # TODO: at least one of these is actually required for boot
-        RANDOM_KMALLOC_CACHES = lib.mkForce no;
+        # this is required for boot (but why??)
         SHUFFLE_PAGE_ALLOCATOR = lib.mkForce no;
 
+        # TODO: is this safe to drop?
+        RANDOM_KMALLOC_CACHES = lib.mkForce no;
+
         # this is required for boot (but why??)
         TRANSPARENT_HUGEPAGE_ALWAYS = lib.mkForce yes;
 
@@ -85,6 +87,7 @@ linux_latest.override {
         # TODO: at least one of these is actually required for boot.
         IO_STRICT_DEVMEM = no;
         PRINTK_INDEX = lib.mkForce no;
+
         # TODO: is this safe to drop?
         RUNTIME_TESTING_MENU = lib.mkForce yes;