[review] arm32: paging of TEE Core optionally enabled

Fixes compile error for CFG_CRYPTO=n

Signed-off-by: Jens Wiklander <jens.wiklander@linaro.org>