doc: add requirements for x32 ABI