Lenovo 4X71K81760 módulo de memoria 32 GB 1 x 32 GB DDR5 4800 MHz ECC