The solution (as it turned out) is:

enable USB in the BIOS