Comment 8 for bug 151327

More info from dmesg:

[ 28.303858] fglrx: module license 'Proprietary. (C) 2002 - ATI Technologies, Starnberg, GERMANY' taints kernel.
[ 28.304231] fglrx: Unknown symbol xen_l1_entry_update
[ 28.304511] fglrx: Unknown symbol flush_tlb_page

[ 477.364207] fglrx: Unknown symbol xen_l1_entry_update
[ 477.364492] fglrx: Unknown symbol flush_tlb_page
[ 815.122407] fglrx: Unknown symbol xen_l1_entry_update
[ 815.122701] fglrx: Unknown symbol flush_tlb_page

I did a distribution upgrade from 7.04.

karlo