How to make changes to linux kernel when using Ubuntu on milkv duo

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