Pager support

Adds optional paging support for plat-vexpress. Since OP-TEE still requires too much memory we're using a fake SRAM (200 KiB) instead of a real SRAM.

It became a bit more commits than expected because I had to bisect a difficult problem. I can squash some of the commits if needed.