Add new option to scripts/config for changing .config numeric values
Acked-by: NLinus Walleij <linus.walleij@stericsson.com>
Signed-off-by: NJonas Aaberg <jonas.aberg@stericsson.com>
Signed-off-by: NMichal Marek <mmarek@suse.cz>