marvel_defconfig: Rename Kernel Name