[Bug 673341] Kernel parameters during kexec "soft reboot"