change to portalAlloc

[Jamey Hicks]

I added an option to the portalmem driver so that you can request region that will be mapped into the application in cached mode. Currently, use portalAllocCached(size, cached) request cached/notcached. On x86, I believe it is always cached, but on ARM, we've been using buffered, uncached mappings.

This required a change to the driver interface, so if you pull connectal, you will need to update your drivers.

If you install connectal from packages, the x86 driver will be updated automatically.

There are new pre-built zynq boot.bin and .ko files here:

    https://github.com/cambridgehackers/zynq-boot-filesystems/tree/v15.03.1

Jamey