CI: build and release kernel on push

.config

@@ -1,6 +1,6 @@
 #
 # Automatically generated file; DO NOT EDIT.
-# Linux/x86 7.0.8 Kernel Configuration
+# Linux/x86 7.0.5 Kernel Configuration
 #
 CONFIG_CC_VERSION_TEXT="gcc (Ubuntu 15.2.0-16ubuntu1) 15.2.0"
 CONFIG_CC_IS_GCC=y

README.md

@@ -30,6 +30,8 @@ sudo mkinitcpio -k "$(make kernelrelease)" -g /boot/initrd.img-$(make kernelrele
 If you are updating Linux on your external USB SSD or if you are directly booting into M.2 SSD, i.e. if you use `-m2` in `cmdline.txt`, then you have to update the files on the FAT32 partition of your USB drive:
 
 ```bash
+sudo mv /boot/efi/bzImage /boot/efi/bzImage.old
+sudo mv /boot/efi/initrd.img /boot/efi/initrd.img.old
 sudo cp /boot/vmlinuz /boot/efi/bzImage
 sudo cp /boot/initrd.img /boot/efi/initrd.img
 ```
@@ -42,6 +44,7 @@ If you are updating Linux on your M.2 SSD, but you do not directly boot into it,
 - amdgpu smu driver to show correct gpu frequency and temperature
 - ethernet driver for (mediatek?) 0x104d:0x9104
 - xhci driver adjustment for 0x104d:0x9108 to enable bluetooth
+- wlan driver marvell 1b4b:2b56 (https://github.com/nxp-imx/mwifiex)
 - hdmi converter improvments: hdr, rgb range, 120hz
 
 ## Bugs

linux.patch

@@ -18,7 +18,7 @@ index fe106da41ae5..6fd78cbfe1d6 100644
  	bool "ScaleMP vSMP"
  	select HYPERVISOR_GUEST
 diff --git a/arch/x86/include/asm/msr-index.h b/arch/x86/include/asm/msr-index.h
-index 4efbbf9d117b..403d5ff74ef0 100644
+index 92bb6b2f778e..0a02f339b98a 100644
 --- a/arch/x86/include/asm/msr-index.h
 +++ b/arch/x86/include/asm/msr-index.h
 @@ -26,6 +26,7 @@
@@ -1143,7 +1143,7 @@ index 000000000000..7acb030a4976
 +obj-y += spcie.o tpcie.o hdmi.o mp1.o
 diff --git a/drivers/ps5/hdmi.c b/drivers/ps5/hdmi.c
 new file mode 100644
-index 000000000000..78ffc4f80a6d
+index 000000000000..a24459de573a
 --- /dev/null
 +++ b/drivers/ps5/hdmi.c
 @@ -0,0 +1,1237 @@
@@ -2026,8 +2026,8 @@ index 000000000000..78ffc4f80a6d
 +
 +static void setHdmiVideoConfigFlava3(const struct drm_display_mode *mode)
 +{
-+	// configParamFlava3Pre();
-+	// configLinkTrainingFlava3();
++	configParamFlava3Pre();
++	configLinkTrainingFlava3();
 +	setHdmiBasicVideoConfigFlava3(mode);
 +	initHdmiPhyForFlava3_1st();
 +	initHdmiPhyForFlava3_2nd();