The whole problem is that if I reflash the Pi, my warranty gets ruined, which is quite stupid.
Can you put in another SDHC card and keep the original one for warranty purposes?
I have no idea, their support told me that any change in the firmware was forbidden.