linux-user: correct msgrcv()