defconfig: Update Kernel Name