moved the marking of the stale bit from the release to the update for mailbox buffers
Merge branch 'kestrel' of https://github.com/lgerardSRI/radler into kestrel