The funny thing is that after installing (without any repositories) the driver is there. So it's in the ISO image, but missing in the installation system.