#172 Eliminar entradas antiguas de Linux en menú EFI con efibootmgr

af eDucando Geek