Patching using etoolbox or xpatch
KOMA-Script is a bundle of versatile LaTeX classes and packages
Brought to you by:
kohm
In scrkernel-footnotes.dtx package etoolbox is used to patch \@makefnmark, which is in most cases enough (but maybe in future not). In scrkernel-paragraphs.dtx package xpatch is used to patch \deferred@thm@head. Maybe using xpatch both times would be better, to make the first patch robuster.