Is there a specific reason why the experimental repository only contains
a 32bit build of the kernel 4.9.25? I'm missing the amd64 build.
I'm running into watchdog issues with the old 4.1.6 kernel on the APU2
plattform. Currently I use the stock 4.9.0 kernel from debian strech to
get around but I'm not sure what changes I miss that you have built into
your kernel image.