Hello, On Thu, May 02, 2013 at 10:31:20PM +0200, Uwe Kleine-König wrote: > I didn't test this > patch yet because I still have to work out how to create an installer > image with an updated libdebian-installer udeb, but still I think the > patch below does the trick. I tested that now and indeed it makes the installer pick the right kernel. Best regards Uwe