wire up sys_getrandom