add debugging for kexec device