Translations:Make GRUB menu & boot-up/down fonts bigger/33/es

Para nuestro siguiente truco, tenemos que identificar que tipo de rama del kernel está usando. La mayoría de personas usarán una versión antigua; más reciente o la más reciente del kernel soportado "normalmente". El cual se muestra en el directorio /boot así: