@Hellhammer you might want to read what has already been written before your post. It is still the first page and what is the point of a thread discussion if people just keep ignoring what people worte before them.
As for the only new point. BIOS vs EFI won't be the problem. You can buy enough mac edition retail cards. And OSX supports those on a Mac Pro and will also on a MBP. As long as you output directly to an external display it should at least work. How fast is another question. And Thundebolt is like PCIe x2.5 not x4 as has been mentioned a few times already.
As for the only new point. BIOS vs EFI won't be the problem. You can buy enough mac edition retail cards. And OSX supports those on a Mac Pro and will also on a MBP. As long as you output directly to an external display it should at least work. How fast is another question. And Thundebolt is like PCIe x2.5 not x4 as has been mentioned a few times already.