missing changes to build MIUI kernel correctly