I don't think David's efi affects this but in os x you can add the gtx580 to the CUDA capable card list there by allowing you to use it. I did this with a gtx480 David flashed and it works great.
Online Editor | Colorist | Post Super | VFX Artist | BD Author
http://JuanSalvo.com