ati driver and selinux

[redhatdude at bellsouth.net]

Hi,
I installed the ati driver and now selinux doesn't let me start kdm.
I ran audit2allow on the avc errors and this is what I got:

allow xdm_xserver_t lib_t:file execmod;

So, what am I supposed to do with this now?
Please advice.
Thanks,
EJ