I found my old kernel config -- I had disabled ohci on that machine before because it didn't work well; when updating to 6.0.1, I switched to a GENERIC kernel. I'll switch back to one without ohci. So at least nothing that's newly broken in 6.0.1 (probably). Thomas