avarzille/x15

Agustina Arzille ceabd4361d Code cleanup after merge		hai 2 meses
..
kconfig	bd78d99720 kconfig: workaround for GNU/Hurd	%!s(int64=7) %!d(string=hai) anos
build_configs.py	adeff7f23f tools/build_configs.py: update compiler-related option names	%!s(int64=6) %!d(string=hai) anos
gen_dwarf.py	ceabd4361d Code cleanup after merge	hai 2 meses
gen_symtab.py	a2febe2189 Implement a DWARF unwinder	%!s(int64=2) %!d(string=hai) anos
tsort_init_ops.sh	5bf4197855 Reimplement the test framework	%!s(int64=2) %!d(string=hai) anos