add notes about netbsd/rump ABI differences