Eu tenho um problema com um ExpressCard USB 3.0. Quando fecho meu ThinkPad X200, ele é suspenso e depois de abri-lo novamente, as portas USB do expresscard não estão mais funcionando. Existe uma opção de kernel ou BIOS que poderia consertar isso?