Try this version below from Bitmain.
-
Antminer-S9-xilinx-201907302037-autofreq-user-Update2UBI-NF-sig.tar.gzThis is the latest one which has an option to do that it's a multi-option firmware where you can choose between lower power mode to Hashrate+2.0TH/s
If the above doesn't work then you will need to flash it first with SD card just follow the guide from the link you posted above. Then upgrade it again through WebGUI using the firmware that I linked above.
That firmware has
multi-option firmware you can find it under miner's configuration under "working mode"
But this firmware still doesn't have SSH access you will need other firmware to be able to access SSH.
About Braiins OS yes you can flash it with Braiins OS by using SD card flashing. This has ability to access the SSH and overclock your s9 miner.
Also, check the awesomeminer ASIC firmware they have antminer s9 image for SD card flashing and the firmware is already overclocked.
-
https://www.awesomeminer.com/antminerfirmware