Please, can someone explain?:
In the ports directory there’s AT91SAM7S (GCC), but the files contained are for SAM7X. I have a SAM7S128 and GCC. Which port/demo should I use? Thank you.

From the kernel port perspective the two are the same, so you can use the files in that directory.