linux-user: enable getdents for > 32-bit systems