Update encore kernel repo