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.