Fix several typos for the instructions to build shell binaries with ECP & EDK II...