Switch to elite-1.7 branch for kernel