MirageKernel v1.4

Change-Id: I60cf67e7036aa253ebdfdf74b6aa87e1699791ef