Comment # 27 on bug 1123538 from Vinzenz Vietzke

Thanks for your help!
But how can I pull in this kernel build into the ISO I'm booting from?