-support so that kexec is invoked with the corrects args for serial console output