Vinicius Jr is available for the Supercopa de Espana holders despite his LaLiga red card against Valencia