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