Fixed the instrumentation of 64-bit jumps that read their target
operand from memory so that they ensure that the target is in
kernel memory.

Fixes Issue #31.