https://windtux.com/debian-9-0-stretch-podria-ser-lanzado-sin-soporte-para-secure-boot/