he needs to flush it using an SD card.
download the tool from bitmain > https://service.bitmain.com/support/download?product=Flashing%20SD%20card%20with%20image
and then you will need the SD firmware which i can't seem to find on bitmain website, but i found this on the forum
https://bitcointalksearch.org/topic/flashing-antminer-s9-firmware-to-an-sd-card-5029225
the guy has it uploaded somewhere
* i am not responsible for any damage caused by any of the files, DYOR and do this at your own risk
what i would do , is contact bitmain and ask them for the file, it would be safer that way.
Or, place Braiins OS into an sd card, move jumper jp4 and mine away!
Of course it would be better to fix the OS in the nand on the controller so you don't need to depend forever on the sd card.