added flush_kern_vm_cache