[PATCH 1/5] doc: Add documentation for the Arm VExpress64 board configs