Fix compilation issues with CONFIG_SEC_DEBUG disabled.

Change-Id: I597ea4d521cc593e8ae1107710b2b412b456d9d1