HTC EVO 3D CDMA/GSM - MiRaGe kernel for stock ICS/Sense ROM