Fix divison by zero breaking the debconf pipe if no kernel image was found (Debian Bug#767370 by Thijs Kinkhorst <thijs@debian.org>).