Defconfig: Rename the kernel