Use a temp dir for kernel stuff