[x11-drivers/ati-drivers] fix the Linux 3.10 patch