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 partially recognised, but not a single one of them would work. I tried reinstalling drivers, changing system definitions, trying to patch IOThunderboltFamily through hopper. Anyway, couldn't make it work.
But...
You mentioned you were using your old TB2 card, and for shits and giggles I tried to plop my old one (ASRock Thunderbolt 2 AIC) in and see whether it works under this new BIOS. And... Walla! It works!!! Interestingly, it was recognised only with the Thunderbolt Driver that came with the GC-Alpine Ridge and not with the original ASRock one (go figure, I guess).
I only have TB2 devices that I want to use right now so I guess I'll just stick with the old card until I hear more success stories of people using the GC-Alpine Ridge.
Please keep us posted,
@basak and everyone else. Thank you!