Fix compile error for CFG_TEE_FW_DEBUG=1