https://guatewireless.org/personalizando-la-pantalla-de-arranque-de-grub/