Reworking and hardening of the BL3-1 interface for alternative Trusted Boot Firmware v3

This patch is a rework of pull request  vk/tf_issues#133