Workaround: Define BL32 base address
Sandrine Bailleux authored
Workaround for issue #68
26bae2fc