Порты USB 3.0 не работают после приостановки

У меня ультрабук Samsung Series 9 NP900X4C, и после обновления до 12.10, а затем до 13.04 порты USB 3.0 (два справа) больше не работают после выхода компьютера из режима ожидания.

Мне нужно перезагрузить компьютер, чтобы эти два порта USB 3.0 снова заработали.

Мой порт USB 2.0 (один на левой стороне) не сталкивается с этой проблемой. Как это исправить?

$ cat /sys/bus/usb/devices/*/power/level
on
auto
auto
auto
auto
auto