I'm willing to wait a little bit because I KNOW that on a Linux machine this shouldn't be an issue so serious to force a full format/reflashing. It should just need a command in a terminal. Reflashing and hard-resetting would have the same outcome? I never flashed before, I wouldn't want to risk to brick my phone.