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