En realidad la compresión y descompresión del vmlinux no es un factor necesario para el arranque del sistema.