Fix link to latest kernel