Hi,

the recent linux firmware archive [1] provides another firmware
binary for the PSP of 19h-axh AMD CPUs.  I have no hardware to test
this one.  Nonetheless, I suggest to add it anyway.

ok?

[1] https://cdn.kernel.org/pub/linux/kernel/firmware/linux-firmware-20260110.tar.xz

---------------------------------------------------------------------
psp(4): add another firmware file

diff --git a/sys/dev/ic/psp.c b/sys/dev/ic/psp.c
index 1a0cd226f13..58130e3a538 100644
--- a/sys/dev/ic/psp.c
+++ b/sys/dev/ic/psp.c
@@ -982,6 +982,7 @@ struct ucode {
 	{ 0x17, 0x3, "amdsev/amd_sev_fam17h_model3xh.sbin" },
 	{ 0x19, 0x0, "amdsev/amd_sev_fam19h_model0xh.sbin" },
 	{ 0x19, 0x1, "amdsev/amd_sev_fam19h_model1xh.sbin" },
+	{ 0x19, 0xa, "amdsev/amd_sev_fam19h_modelaxh.sbin" },
 	{ 0x1a, 0x0, "amdsev/amd_sev_fam1ah_model0xh.sbin" },
 	{ 0, 0, NULL }
 };