-# The ABI tag values we use are 32-bit quantities stored in machine byte order.
-# Conventionally the high-order byte indicates the OS and the low three
-# bytes form a version number associated with a particular ABI version.
+# The ABI tags we use are four 32-bit integers. The first of these
+# is the operating-system number, the next three are the revision number
+# of the first compatible kernel.