#929986 flash-kernel: configfile wrongly handled by both debconf and ucf