How did you know it was bricked? Have you checked the kernel logs under pic fw? If it show "pic fw version=0x00" then you will need the hex file to restore it back to "
pic fw version=0x03".
Anyway, there is a hex file for s9 in ASICseer from this link below under "Flashing S9 Hashboard with PICKit3"
-
Restoring Hashboards