Has anyone compared windows vs linux gen times? How much does the OS overhead actually effect your efficiency?