Update KRE to 1.0.0-alpha3-10158