[openadk] broken kernel download

Hi, while working on a new project I discovered that the recent introduction of "waldux" (?) in the pretty massive commit 9bb871a0bb4c239239944d28bd4d5cfa19d84f62 breaks the kernel download mechanism for the raspberry pi. The error seems to be related to double-quotes around the hash. These confuse the mechanism in fetch.mk that tries to work out a way to generate the  hash-named archive. It will then fail to extract the sources. You can reproduce by deep-cloning   https://github.com/deets/pififorwarder.git via   git clone --recursive then change into the modules/openadk folder and check out the above mentioned command. Then just run ../../scripts/build.py, and you should get a non-working build. I'm also having troubles enforcing GLIBC through the task that you can find in configs/tasks. Regardless of what I try to put in there (after manually setting the libc to glibc) - the task can't seem to control this choice. I noticed a similar problem with the kernel configuration: the task can't override the selected kernel anymore. It can only be affected by running menuconfig and manually changing this :( This is not visible in the repository, but I can reproduce it if you like. Any suggestions on how to overcome this? Cheers, Diez