Please a CPU model for ABI version for x86_64 i386 according to   x86-64 psABI