Clean up numbering. Update kernel package link.