Also, I just noticed that the used firmware (I had to copy it by hand into /lib/firmware) was not copied. I don't know if there is another way of handling non-free firmware at installation. -- Martín Ferrari