Update miragekernel v1.7

Change-Id: I15cf81e68513890135dcf27a49fabac9eb0c4f39