I can confirm that the applehda kext works great however i can not get audio over the hdmi there is not a option to do it
another problem is to get the usb 3 driver. I can get the driver to work but as soon as I gets to the loginwindow the computer goes to sleep and it cannot wake up. If i boot the machine without cache the driver works but sleep does not.
If I use the roolback usb driver the sleep works but only usb 2. I´m on 10.9 and has a e6230 with i7 cpu, 8 gb ram, 240 GB OCZ HD and a wlan card from a imac. When I´m on the roolback driver the camera does not work either
I hope that you ho are reading this understand what i´m writing.
If someone has any tips or tricks I´m happy to give it a shot