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

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