hola. es un tamaño justo! seguramente fue hecho con compresión gz ... con compresión lzma el tamaño habría sido de alrededor de 30 megabytes. el kernel utilizado es ciertamente alrededor de 20 megabytes.
Gracias maestro. Veo que debemos acostumbranos a estos tamaños para el futuro
Saludos