Strangely, it stopped working.
I probably added some conflicting driver, while trying to make the network work, and it stopped booting.
No problem- I started the installation from scratch.
Still, it always freezes some 20 into the boot, even plain vanilla installation.