Always build mkpichex to make sure it newest, also correct target name. Signed-off-by: liuhaitao <liuhaitao@xiaomi.com>
it converts a hex file. Build the tool if it didn't exist.
Update Make.defs and README.txt files in boards directory accordingly.