Man this is so weird...
I have the same version of everything except, my BIOS is F20, since GB released it finally, Clover is latest (3923) and SMBIOS is iMac 17,1. Anyway I could not get it to work, all of my TB devices hooked up to the card used to end up in this weird state where they were...