*-di kernels break multi-kernel bootimage support.

[Thiemo Seufer <ica2_ts@csv.ica.uni-stuttgart.de>]

Hello All,

i just found that the new *-di kernel flavour puts its kernel image in
/boot/vmlinu{x,z}. This breaks the support for building several boot
images of the same type but with different kernels.

- What's the supposed way to handle this?
- Is the kernel policy draft in doc/ obsolete? It mentions the
  -udeb.udeb flavour only.


Thiemo