I'm going to try windows7 and ubuntu now, we'll see how it goes.

Edit: usb 2.0 doesn't work in any of those systems. I used BIOS and version 8. In windows you get an exclamation mark with code 10, in ubuntu I didn't look too hard. The hardware is shown in lspci, but it doesn't work, at least not out of the box. I don't have time to test them with EFI at the moment.