Isn't the kernel in /sys?
It is the compressed kernel image (vmlinuz) that is stored in /boot for use by the bootloader, which then, it is uncompressed and the real kernel booted?
At least that is what I learned from Arch Linux.