Fix kgsl_device.h