boards: arty: document source for fpga bitstream partition size

At this time there's no clear need to support anything other than the
A35T variant, but to simplify future extension show where the
partition size came from and document the corresponding parameter for
the A100T variant.

Signed-off-by: Peter A. Bigot <pab@pabigot.com>