kernel: modify mk file

Change-Id: I6c7aba2acb3fe32e55aeb65c389cce6c32f4ae56