Serious miners will go to great lengths to improve their efficiency by even a fraction of 1%. They will absolutely patch some drivers if it gets them better hashes/kwh (which it will or Nvidia wouldn't do this).
ethereum is asic-resistant, not asic-proof. It doesn't mean you can't make ASICs, just that ASICs are <10x as efficient as an equivalent-node GPU, vs millions of times more efficient for bitcoin/etc.
