No compi, los kernels se instalan flasheando un archivo .img via fastboot... via update.zip se instalan algunas roms.
clasios; el DooMKernel sirve mayormente para dos cosas.
1- Tener el recovery embutido, cosa que ya se puede hacer de otra manera, pero hasta hace poco era la unica.
2- Poder hacer OC al móvil.