7e23b3c2 ("Update code to handle the new ABI for sending inlined port rights.") was missing a cast. Fixes 7e23b3c2
mentioned in commit 3e856504