devel/kore: Fix patch
Last commit broke the flavored kodev-notls due to running make makepatch without thinking.