This patch adds support for building the UEFI EDK2 tools on 32-bit hosts. It also revises the script to support rebuilding the tools when the script is re-invoked after the EDK2 repository has previously been downloaded.