minor edit
CHNAGE->CHANGE
Make change_sec_label4 64-bit

The justification for making this 128 bits was to allow implementation
based on a hash of the label.  However secure hashes may need more than
128 bits, and 128 bits may already be larger than the typical label.
Let's just revert to 64 bits for consistency with the change attribute.