Un kernel de Linux es un poco más grande que 32Kb.