Increase the max KVA available for general consumption on the Exynos 5.
Increase the max KVA available for general consumption on the Exynos 5.

Submitted by:	Ruslan Bukin <br@bsdpad.com>

jrobhoward/SCADAbase,jrobhoward/SCADAbase,jrobhoward/SCADAbase,jrobhoward/SCADAbase,jrobhoward/SCADAbase,jrobhoward/SCADAbase,jrobhoward/SCADAbase,jrobhoward/SCADAbase,jrobhoward/SCADAbase,jrobhoward/SCADAbase,jrobhoward/SCADAbase