ARM: trusted_foundations: fix compile error on non-SMP