rework Linux ABI compat for rump, was incorrect