[review] arm32: paging of TEE Core optionally enabled

Fixes compile error for STM