review comments: Fix compile errors for CFG_TEE_CORE_LOG_LEVEL=0
review comments: gic bugfix