Compilamos y generamos nucleos ipxe para BIOS uefi, adecuando la lógica de los scripts en correspondencia
