os_calls.c: support BSD ucred