This is a partial revert of c9ef1ed2. I don't know where I got the
idea that CMP does not support _SAT, but I suspect that my driver at the time was broken.