When this is done, we can add firmware flashing to new MfgTool profiles, for K4/K5. Right?
I plan to expand the "simple debricking" sticky thread to include your K3 USB "simple debricking" package. In that context, the kernel image does not really need to be distributed with it. There are been a lot of success keeping the firmware images separate.