Add info about Debian and AOSP kernel configs to links.txt