Hi Michel, indeed that was the issue. Disabling the radeon.gartsize=32 option on the kernel command line solved the problem. Thanks for the help.