Fix compilation errors when CONFIG_SEC_DEBUG is disabled