Hi
lspci and lsusb commands just display ID vendors and ID products on last ISO core 32bit (I didn't check on others); only options -m and -k are available.
Problem appeared with ISO 20160710; ISO 20160703 works correctly.
Strangely, the problem does not appear on my full installation from ISO 20150712 I update regularly.