Hope this helps someone, then: http://dl.dropbox.com/u/12011163/hlk75D-ebb.zipYeah, it does. The radios are in the bootloader, aka mmcblk1p1, aka the ebb partition.
Theoretically, we should be able to get a dump of the post-upgrade bootloader, dd it over our borked bootloaders and have it working. Problem is, getting that dump and figuring out how to do the flash. We definitely don't want to do it in a powered up system...that leaves recovery or fastboot.
The problem I see is that the radio code has to be FLASHED to the radios- and I know there's code in the upgrade.zip that does that, plus those radio images are much bigger than the 3MB bootloader.
If you disassemble one of the ...-to-hlk75c images, it'll have the files you need and the procedure (and I think the radio images are true files, and not .p files).