Yes, use the second link, download the SDK and install it. Your card should be recognised after.
Also, if you're using more than one card, you'll have to have a monitor attached to each card or a "Dummy VGA plug."