Started work on full-kernel instrumentation, starting with SYSCALL. Current status of that is that it goes and instruments a bunch, but then dies eventually and reports an alloc magic problem. Not sure why just yet, but I haven't done much debugging. Also implemented a simple but nice optimisation for small basic blocks ending in direct JMPs: the JMPs are elided and the basic blocks are continued at the JMP target. Dunno if this will make a big improvement, but I noticed quite a few such basic blocks that would benefit from this when looking at the first few full-kernel-instrumented basic blocks.