Passing -Xieee:U=10 works at the command line, but 'xcmd ieee:U=10' in .xdconfig does not take effect.