To follow the way that Official Debian kernel packages are made, put the
generated packages in the right section, the kernel section.  This also
avoids polluting the admin section.
Signed-off-by: NRogério Brito <rbrito@ime.usp.br>
Signed-off-by: NMichal Marek <mmarek@suse.cz>