TCG Enterprise initialsetup fails

[david-okamoto-wdc]

Please see the attachment, which is the ouput from this command:
./sedutil-cli -n -v --initialsetup debug /dev/sdc
It appears like the vector encoding is masking bits incorrectly. Line 25263 should end with 81 00, not 80 00. Perhaps parentheses are in the wrong location. See DtaDevEnterprise.cpp, setband function. I think this is better:
v[1+6] = uint8_t(j >> 8) | (v[1+6] & 0xF0);
initialsetup.txt