Temporary change to build MIUI kernel