This patch adjusts the ARM MPU implementation to be compliant to the recent changes that introduced the opaque kernel data types. Signed-off-by: Andy Gross <andy.gross@linaro.org>