Kernel source code should be in kernel/(manufacturer)/device

So we can build images for distinct device on the same tree.