From 08aa13534ade85be47d033028997fadf078bd9f1 Mon Sep 17 00:00:00 2001
From: Katherina Walshe-Grey <git@qenya.tel>
Date: Mon, 8 Sep 2025 18:48:53 +0100
Subject: [PATCH] boot: Only apply pde_set_flags kernel patch on x86

---
 common/boot.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/common/boot.nix b/common/boot.nix
index 56a0896..93ac942 100644
--- a/common/boot.nix
+++ b/common/boot.nix
@@ -1,7 +1,7 @@
 { config, lib, pkgs, ... }:
 
 let
-  inherit (lib) mkIf;
+  inherit (lib) mkIf optionals;
 in
 {
   boot.loader = {
@@ -11,7 +11,7 @@ in
     efi.canTouchEfiVariables = true;
   };
 
-  boot.kernelPatches = [
+  boot.kernelPatches = optionals config.nixpkgs.hostPlatform.isx86 [
     # Fix the /proc/net/tcp seek issue
     # Impacts tailscale: https://github.com/tailscale/tailscale/issues/16966
     {