ignore kernel

kernel source for Mi3 is not published yet, leave out the binary here.