Add support for loading a TEE and setting up firewalled regions to
AM43xx HS boards.
Signed-off-by: NAndrew F. Davis <afd@ti.com>