Fix kernel build error

Change-Id: I1191517240ae7bcfb2fcbbffc98e22f28e8fa151
Merge branch 'CyanogenMod_cm-10.2' into kbc-cyanogen-cm-10.2