/* * Read bytes from kernel address space for debugger. */