しかしkernelのオプションもファイルシステムもいろいろあるわけで、”Linux”のベンチマークは難しい。