This patch add arm core MPU support to ARM MPU driver. Change-Id: I5a61da4615ae687bf42f1c9947e291ebfd2d2c1d Signed-off-by: Vincenzo Frascino <vincenzo.frascino@linaro.org>