firmware: trusted_foundations: add ARMv7 dependency