OP-TEE/optee_os — pull request #77 by jbech-linaro (2014-10-20 14:48:55+00:00)
Title: plat-vexpress: Fix problems in core_bootcfg.c

- Changed names of memory struct to reflect vexpress instead of sti416.
- Removed unnecessary NULL check.
- Updated some prints that contained incorrect information.