Which GNU OS was the point, there isn't any GNU OS, unless we talk about Hurd I guess.
That ABI is known for UNIX systems yes, although it isn't uniformly implemented, and again comes back to the whole OS written in C, like UNIX naturally is given it is the reason C exists in first place.
Which as mentioned, is not followed by every UNIX variant anyway.
Now GNU OS, still don't know what that is, Linux kernel with glibc?
Then again, using other libc doesn't require the same ABI.