[Q] My friend's HTC One will not boot

view story

http://forum.xda-developers.com – Hey guys, my friend flashed elementalx kernel onto his stock 4.1.2 he says that after he did that, his internal memory would not show and sd card could not be mounted in CWM. after 3 reboots the problem still persisted. after he did a factory wipe in CWM, he says his phone refuses to boot into anything other than bootloader. i have not owned a htc one and i have no idea what to do. what i understand is that he needs to get an ruu? however i cannot find an RUU for CID HTC_039 Australian unbranded.... help would be much appreciated, thanks guys! EDIT: would it be possible for him to use superci (HowTos)