Cache binary code for kernel invokers to disk