Remove calls to kmem_flush(), which do nothing.