As someone else mentioned in the thread, your chipset is not poulsbo,
I don't know whether this is the right solution but nonetheless the
non-free drivers are called xorg-x11-drv-psb. So enabling the
RPMFusion repositories, both free and non-free and then a yum install
should let you install them.
I'm confused, you confirmed those aren't applicable to his chipset but
suggest he use them? Ok...
CMIIW, but wasn't that yanked out before F13?