A different USB issue, pasted from one of my older posts:
Personally, I found out that a USB external audio card being plugged in on
boot prevented Libreboot from starting up on an X200 (docked, at least).
I need to unplug it, and plug it back before unlocking the drive the second
time (you know, having to put the same passphrase twice).
Note that I got rid of pulseaudio and strictly use alsa and jack (via
qjackctl and alsamixer).
I'll tell the Libreboot team when I'll figure out how to get back on their
IRC node (last time I was banned (automatically) because I pasted some logs
massively (I thought it would make one post instead of one per line... ).