scripts/config: fix an option processing error that caused duplication in diffconfig...