Sort the kernel configuration using scripts/kconfig.pl. Signed-off-by: Rui Salvaterra <rsalvaterra@gmail.com>