HDDマイニングで使用するOSは、Windows 10とLinux(ubuntu)で、どちらが効率がいいの?