My changes to the kernel package