Implement kern_dump()