I've sent a ticket to Bitmain and Braiins about this issue and waiting for a response.
Update: Braiins says S9 K/SE is not supported.
Now I wonder if the hashboards will work if I swap out the control board with one that is just a regular S9. That way I could get the OS to work.
It means SD card image yet that support this unit.
Why not, let see if it will work but the first issue that I noticed is that the hashboard of the s9 units is different compared to s9SE hashboard and I believe the s9SE hashboard only supports s9SE control board so my guess is it won't work.
Try to contact
thierry4wd because I heard that he had a s9k/SE modded firmware.
You can check his thread here
S9K Stock firmware SSH unlocked + Control fan