Yes, the device works fine. I've tried all sorts of devices: mouse, keyboard, USB HDD and USB flashdrive. All the other USB port work fine too. The only thing malfunctioning seems to be the USB port 3.0. I don't remember when they stop working though. Maybe it's after I flash the bios or attempt to install USB 3.0 drivers from the MSI website. Or maybe it's already not functioning out of the box.
Assuming that this is simple driver/software issue, how do I fix this?