[x11-drivers/ati-drivers] fix compilation with kernel 3.9