So guys, replacement arrived this morning, just used one of the sd cards I already prepared:
read-only file system detected...done
Starting system message bus: done
Starting connman ... done.
Starting ntpd: INFO: Video resolution: 550 x 240, fHorz = 15.6KHz, fVert = 59.6Hz, fPix = 10.00MHz
INFO: Frame time (100MHz counter): VGA = 1676799, HDMI = 1666666
Starting ProFTPD: done
Starting sshd: OK
Starting network: Failed to bring up wlan0.
Failed to bring up wlan1.
Welcome to SoCFPGA
It's all good now!