From e879889fe2271ff5ef071f149246b9922f6d90fe Mon Sep 17 00:00:00 2001
From: Ratchanan Srirattanamet <ratchanan@ubports.com>
Date: Wed, 8 Apr 2026 00:59:20 +0700
Subject: [PATCH] raspberry-pi/common/kernel: 6.12.47-stable_20250916 ->
 6.12.75-1+rpt1

As mentioned in Nixpkgs PR [^1], Raspberry Pi folks stop tagging both
raspberrypi/linux and raspberrypi/firmware GitHub repo. So, I switched
my reference point to Raspberry Pi OS, which publishes their packaging
for Linux kernel in RPi-Distro/linux-packaging.

The version is set to Debian packaging's version, and the commit comes
from the changelog entry for that version.

The old code structure is somewhat kept in case Raspberry Pi ever tags
their raspberrypi/linux repo again.

[^1]: https://github.com/NixOS/nixpkgs/pull/493115
---
 raspberry-pi/common/kernel.nix | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

diff --git a/raspberry-pi/common/kernel.nix b/raspberry-pi/common/kernel.nix
index b579f7a8..19c93b6d 100644
--- a/raspberry-pi/common/kernel.nix
+++ b/raspberry-pi/common/kernel.nix
@@ -10,21 +10,22 @@
 
 let
   # NOTE: raspberryPiWirelessFirmware should be updated with this
-  modDirVersion = "6.12.47";
-  tag = "stable_20250916";
-  hash = "sha256-HG8Oc04V2t54l0SOn4gKmNJWQUrZfjWusgKcWvx74H0==";
+  modDirVersion = "6.12.75";
+  hash = "sha256-qrljd20n4tj/7C7gzNnxw7JIyEF2Ppf1PWm2a7vxh1w=";
 in
 (buildLinux (
   args
   // {
-    version = "${modDirVersion}-${tag}";
+    version = "${modDirVersion}-1+rpt1";
     inherit modDirVersion;
     pname = "linux-rpi";
 
     src = fetchFromGitHub {
       owner = "raspberrypi";
       repo = "linux";
-      inherit tag hash;
+      # https://github.com/RPi-Distro/linux-packaging/raw/refs/tags/pios/1%256.12.75-1+rpt1/debian/changelog
+      rev = "89050b1059997d38d55462b323b099a6436dc10d";
+      inherit hash;
     };
 
     defconfig =