Actually, 5.13.12-2 gets the system to boot even if it's stuck. Waiting long enough, I���end up at the "Give root password for maintenance". 5.13.13-1 is frozen, no ssh afterwards.