proc: mem_release() should check mm != NULL