moby: mark NO_HZ_IDLE kernel optiosn & co as required for boot

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;