agregado DISTRO_SPECS y splash grub4dos