plat-vexpress: linking supports pagable tee.bin

* Adds scripts to create a pagable tee.bin
* Updates link script and link.mk to support pagable tee.bin
* Binary format of tee.bin is changed from a raw format to a header
  followed by the binary data as described by the header. This requires
  updates in ARM-TF OP-TEE Dispatcher and QEMU virt bios.

Signed-off-by: Jens Wiklander <jens.wiklander@linaro.org>
arm32: paging of TEE Core optionally enabled

plat-vexpress-*:
* Optionally enable paging
* Uses fake SRAM when paging is enabled
* Supports partitioning OP-TEE binary in unpaged, init and pagable areas

arm32:
* Replaces legacy paging support with new paging support

Signed-off-by: Jens Wiklander <jens.wiklander@linaro.org>
Tested-by: Jens Wiklander <jens.wiklander@linaro.org> (QEMU, FVP, Juno)
New stable commits for the setup cripts

Sets new stable commits for the FVP and QEMU setup scripts

Signed-off-by: Jens Wiklander <jens.wiklander@linaro.org>