Optionally compile core/arm64/tee_tz_debug.c