The trusty-base.mk should be included by devices that use Trusty TEE to pull in the baseline set of Trusty specific modules. Change-Id: I47c2095a21f47a40d390c9d5426380ad9507a708
