Friend of mine is on custom firmware and wants it back on official firmware. Does he just have to go into the recovery menu, select recovery, then upgrade it again?