[coreboot] ARM Trusted Firmware build issue