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