apply the change on EBC kernel