[Bug 694025] New: <forceboot> + <kernel> installs wrong kernel for stage2