Unfortunately, I don't have the right cables to use two ports on the first video card. I only have HDMI cables, and the cards support 1x DVI, 1x HDMI, and 1x DisplayPort. When I use the updated DSDT, the system boots on the first card and OSX uses the second card (no output from the first card after boot).