rump Linux ABI fixes