linux: set fan target temp to 80 celsius

* linux: ps5: add fan driver

Thanks to cow for EMC RE and general help.

* ps5: remove redundant autoservo call in spcie

.config

@@ -1,6 +1,6 @@
 #
 # Automatically generated file; DO NOT EDIT.
-# Linux/x86 7.1.2 Kernel Configuration
+# Linux/x86 7.1.3 Kernel Configuration
 #
 CONFIG_CC_VERSION_TEXT="gcc (Ubuntu 15.2.0-16ubuntu1) 15.2.0"
 CONFIG_CC_IS_GCC=y
@@ -11,9 +11,9 @@ CONFIG_AS_VERSION=24600
 CONFIG_LD_IS_BFD=y
 CONFIG_LD_VERSION=24600
 CONFIG_LLD_VERSION=0
-CONFIG_RUSTC_VERSION=0
-CONFIG_RUSTC_LLVM_VERSION=0
-CONFIG_RUSTC_LLVM_MAJOR_VERSION=0
+CONFIG_RUSTC_VERSION=109600
+CONFIG_RUSTC_LLVM_VERSION=220102
+CONFIG_RUSTC_LLVM_MAJOR_VERSION=22
 CONFIG_CC_CAN_LINK=y
 CONFIG_CC_HAS_ASM_GOTO_OUTPUT=y
 CONFIG_CC_HAS_ASM_GOTO_TIED_OUTPUT=y
@@ -24,6 +24,10 @@ CONFIG_CC_HAS_NO_PROFILE_FN_ATTR=y
 CONFIG_CC_HAS_COUNTED_BY=y
 CONFIG_CC_HAS_MULTIDIMENSIONAL_NONSTRING=y
 CONFIG_LD_CAN_USE_KEEP_IN_OVERLAY=y
+CONFIG_RUSTC_HAS_SPAN_FILE=y
+CONFIG_RUSTC_HAS_UNNECESSARY_TRANSMUTES=y
+CONFIG_RUSTC_HAS_FILE_WITH_NUL=y
+CONFIG_RUSTC_HAS_FILE_AS_C_STR=y
 CONFIG_PAHOLE_VERSION=131
 CONFIG_IRQ_WORK=y
 CONFIG_BUILDTIME_TABLE_SORT=y
@@ -5637,7 +5641,7 @@ CONFIG_DEBUG_INFO_COMPRESSED_NONE=y
 CONFIG_DEBUG_INFO_BTF=y
 CONFIG_PAHOLE_HAS_LANG_EXCLUDE=y
 CONFIG_DEBUG_INFO_BTF_MODULES=y
-# CONFIG_MODULE_ALLOW_BTF_MISMATCH is not set
+CONFIG_MODULE_ALLOW_BTF_MISMATCH=y
 CONFIG_GDB_SCRIPTS=y
 CONFIG_FRAME_WARN=2048
 # CONFIG_STRIP_ASM_SYMS is not set

.github/workflows/build-kernel.yml

@@ -43,14 +43,17 @@ jobs:
           bash image/build_image.sh --kernel-only \
             --distro "$FORMAT" \
             --patches-ref "$PATCHES_REF"
-          # build_image.sh's --distro all skips the rpm packager. Run the rpm
-          # branch explicitly so the release ships .rpm alongside .deb/.pkg.tar.zst.
-          # ccache holds the kernel objects — this second call only re-runs
-          # the rpm packaging step.
+          # build_image.sh's --distro all skips the rpm packager, and each
+          # kernel-build call wipes image/linux-bin/. Stash the deb + pkg.tar.zst
+          # from the "all" run before firing the rpm-producing "fedora" run,
+          # then restore so the release ships all three formats.
           if [ "$FORMAT" = "all" ]; then
+            mkdir -p /tmp/kernel-stash
+            cp image/linux-bin/*.deb image/linux-bin/*.pkg.tar.zst /tmp/kernel-stash/
             bash image/build_image.sh --kernel-only \
               --distro fedora \
               --patches-ref "$PATCHES_REF"
+            cp /tmp/kernel-stash/*.deb /tmp/kernel-stash/*.pkg.tar.zst image/linux-bin/
           fi
 
       - name: Read kernel and patches version