Fix compilation error when CONFIG_SEC_DEBUG is disabled