BSD: Work around panic in FlushVCache