Unless Google and I are mistaken, the one with the mini Display Port (up top), is the official Apple card with 512MB.
The other seems to be a 1GB PC card, which would be flashed, yes. I can't find any official product numbers for a dual-DVI 4870 from Apple.
But there are more knowledgeable people here than I.