We agreed, long ago, to have 128k on the spec, like GSI is
already doing. This changes the default in Kconfig and removes
specific settings in configs/*

Signed-off-by: Alessandro Rubini <rubini@gnudd.com>