tree 2c04ec103e90287e862e22d0e80e5e2a077f2061
parent 61dbb0285f478dcc0be5eb8c86291e203c9c80c2
author Antonio Nino Diaz <antonio.ninodiaz@arm.com> 1459951554 +0100
committer Antonio Nino Diaz <antonio.ninodiaz@arm.com> 1460104576 +0100

Fix BL33_BASE option to work with RESET_TO_BL31

The BL33 address is now set in arm_bl31_early_platform_setup() so
that the preloaded BL33 boot option is available when RESET_TO_BL31
is also used.

Change-Id: Iab93e3916f9199c3387886b055c7cd2315efed29