kernel packaging for android devices

[Sergio Schvezov]

While doing the work to integrate the packaged kernels into the
Android/Phablet builds I noticed that the kernels have distinguishing
names such as nexus4 and nexus7 in their package names.

Those don't seem to be adequate as they are commercial names and can
umbrella different configurations/boards.

I suggest using the actual names used for the devices, so nexus7 should
be grouper and nexus4 should be mako.

In the case of maguro (Galaxy Nexus/Nexus3) we use the tuna kernel which
applies to much more devices.

Anyways, those are my thoughts and ideas to not get into conflicts later.

Cheers
Sergio.