fix bug in kernel dumping