Preserve the order of IPC messages between two parties.
Preserve the order of IPC messages between two parties.

Currently a sequence of messages between a sender A and a receiver B of the
form: A.asynsend(M1, B); A.send(M2, B) may result in the receiver receiving
M1 first and then M2 or viceversa. This patch makes sure that the original
order M1, M2 is always preserved.

Note that the order of a hypotetical sequence A.asynsend(M1, B);
A.asynsend(M2, B) is already guaranteed by the implementation of
asynsend by design. Other senda-based wrappers can define their own
semantics.

veritas-shine/minix3-rpi,veritas-shine/minix3-rpi,veritas-shine/minix3-rpi,veritas-shine/minix3-rpi,veritas-shine/minix3-rpi,veritas-shine/minix3-rpi,veritas-shine/minix3-rpi,veritas-shine/minix3-rpi