Making progress on full kernel instrumentation. The kernel doesn't immediately crash anymore. However, next major challenge seems to be dealing with extables for page faults that inspect the return address of the interrupt.