[$] mseal() gets closer

The proposed mseal() system callstirred up some controversy when it was first posted in October 2023.Since then, it has been evolving in a quieter fashion, and seems to havereached a point where the relevant commenters are willing to accept it.Should mseal() be merged in a future development cycle, it willlook rather different than it did at the outset.