properly branding the kernel

This is cyanogenmod's kernel. No work is Gummy's.