defconfig: Change kernel name