!linux !debian is there anything I can do to make debian recognize a brand-new USB3 thumb? It's recognized without a hitch on Dennis (LMDE) and not at all on Nikola (Deb Jessie); kernel used on Nikola is not teh latest (which doesn't work) but still newer than that on Dennis. # # this doesn't make things easy...