Bug#1056056: linux-image-6.1.0-13-amd64: After a 'warm' reboot the disk is missing (not detected by the bios) on a HP t640

[Ben Mesman | Spark Narrowcasting]

The attached patch works on my systems. Is there a way to get this in?

--- arch/x86/kernel/reboot.c.orig	2023-12-14 08:25:10.033382061 +0100
+++ arch/x86/kernel/reboot.c	2023-12-14 08:31:10.394325941 +0100
@@ -469,6 +469,14 @@
 			DMI_MATCH(DMI_PRODUCT_NAME, "HP Compaq"),
 		},
 	},
+	{	/* Handle problems with rebooting HP t640 thin-clients */
+		.callback = set_pci_reboot,
+		.ident = "HP t640",
+		.matches = {
+			DMI_MATCH(DMI_SYS_VENDOR, "HP"),
+			DMI_MATCH(DMI_PRODUCT_NAME, "HP t640 Thin Client"),
+		},
+	},
 
 	{	/* PCIe Wifi card isn't detected after reboot otherwise */
 		.callback = set_pci_reboot,