update kernel to fix a bug that no mali driver in there