Hello there!
I have a working Ubuntu install on duo. Now I need to recompile my kernel to change some specific config variables and a try to free some memory space by removing unneeded modules, but I can not locate the kernel file. Where is the vmlinux image installed? Is it part of boot.sd?