So, I think we agreed on IRC that the right thing to do here is to remove the amd64 microcode from linux-firmware entirely, and remove the Provides/Conflicts/Replaces, so both packages can be installed together.
The amd64 microcode license isn't suitable for main anyway (doesn't allow modification or disassembly), so this is the best way forward.
So, I think we agreed on IRC that the right thing to do here is to remove the amd64 microcode from linux-firmware entirely, and remove the Provides/ Conflicts/ Replaces, so both packages can be installed together.
The amd64 microcode license isn't suitable for main anyway (doesn't allow modification or disassembly), so this is the best way forward.