It seems nothing will make you understand an issue faster than filing your first ever Debian bug about it :)
I noticed just now that the firmware loading *will* fall back to the correct file, it just happens after it has emitted the error lines: > [ 4.069026] ccp 0000:4a:00.1: firmware: failed to load > amd/amd_sev_fam17h_model31h.sbin (-2) > [ 4.069293] firmware_class: See https://wiki.debian.org/Firmware for > information about missing firmware > [ 4.069597] ccp 0000:4a:00.1: firmware: failed to load > amd/amd_sev_fam17h_model31h.sbin (-2) > [ 4.070002] ccp 0000:4a:00.1: firmware: direct-loading firmware > amd/amd_sev_fam17h_model3xh.sbin > [ 4.102461] ccp 0000:4a:00.1: SEV API:0.24 build:16 This is made somewhat more difficult to notice by the error lines being highlighted and the lines indicating success not. So while my proposed symlinks do eliminate the error output in red, they wouldn’t affect actual functionality. I think this issue can be closed.