 BUILDDIR/xed -64 -set MUST_USE_EVEX 1 -e setb r27b
