Some drivers make very odd decisions on when to use support for 64-bit addressing. Fix this up a bit.