I installed crux 3.3 on an OdroidXU4. Everything works fine except when I plug in a thumb drive into either front USB 3 port, nothing shows up in dmesg and no /dev/sd* devices are created. Any idea on what I might be missing?