added iOS kernelcache tools