Have a question that's been nagging at me about 32bit os and large video cards. I have two 4870x2s which total 4gb of video ram. I've heard stories of people claiming that the os allocates gpu ram first, so their system was not able to boot as it had no system ram. Has anybody else tested this out before?