Bug 859779: fix i386 msg{ctl,snd,rcv,get} calls