Is there any firmware for the S9k/SE models?
Sadly not, both AwesomeMiner and Asic.to (Vnish) don't seem to have any near future plans of making firmware for these two models, BraiinOs is no different, and I am not aware of any other developers whom I would trust.