He have not. The missing support is for usb3 specific driver. The PCIe one is (if I am not mistaken) usb2 which works. On Mox this is already fixed and we have also u-boot for omnia with that support but with new version of u-boot we encountered some problems our hardware guyes are looking in to. This means that we have internal build that is not yet available that works on some boards and on others it does not.