Fix compilation issues with CONFIG_SEC_DEBUG disabled.