Switch to elite kernel for now