diff --git a/pkgs/additional/linux-sane-pinephonepro/default.nix b/pkgs/additional/linux-sane-pinephonepro/default.nix
index b4927dc08..99afb5980 100644
--- a/pkgs/additional/linux-sane-pinephonepro/default.nix
+++ b/pkgs/additional/linux-sane-pinephonepro/default.nix
@@ -115,7 +115,7 @@ linux_latest.override {
         DRM_DISPLAY_DP_AUX_CHARDEV = lib.mkForce no;
         DRM_VC4_HDMI_CEC = lib.mkForce no;
 
-        # TODO: can these be removed?
+        # TODO: at least one of these is actually required for boot.
         NO_HZ_IDLE = yes;
         NO_HZ_FULL = lib.mkForce no;
         CONTEXT_TRACKING_USER = no;