use forked encore kernel