* adapt symbol table generation from linux (scripts/mksysmap,
* scripts/link-vmlinux.sh ->  scripts/link-leanos.sh, etc.)