MSTR's coins (and Saylor's personal stash as well) are not exactly "locked up"
His personal stash, maybe he can do whatever he wants with those, but I am guessing he has those under multi-sig and it will just be a hassle for him to actually do it.
The company stash, it's also very likely to be multi-sig with the board members,
<…>
How do you think he stores his bitcoin? 18k BTC personal stash, and company coins 108k BTC ... ... You have that much, better put they keys in some building with armed guards. Be your own bank. Literally.
The board is definitely not a multisig, it wouldn't make sense for several reasons.