[PATCH 18/33] scripts/config: allow colons in option strings for sed