doc: some glibc x32 integer width issues