Adjust SETcc instruction encoding on x86-64.