Merge "Improve the 32-bit ABI documentation."