Alguien me podría explicar la diferencia entre estos dos tipos de kernel? Y que beneficios tendrían en un servidor ?