在rel4中添加mcs特性支持 #

sel4中包含了对于MCS（mixed-criticality system）的支持，目前rel4已经完成了该特性的支持，以下是升级记录