I imagine the price difference also relates to licensing costs for Windows instances. Also, TCO is more than just compute efficiency, although the latter is important in its own right.