Miragekernel v1.2

Change-Id: Ic9b3bdb9f3f94666dad937d9fbed377951f0b986