defconfig: Rebrand so that it is easier to distinguish, and not confuse with other kernels

Change-Id: Idd27fc28be70af9ceff69484bd11ff6d1b94d768