Update verified u-boot on arm trusted firmware.md

Putting back "semi" for the defconfig.