OK.
Al final cogí uno de los dos (no me acuerdo cual 😛 ) y se lo pasé al equipo. Como no es un equipo demasiado moderno (Duron 850 mhz, chipset sis730s) daba igual si estaba actualizado a fecha del mes pasado o de noviembre, porque el resultado ha sido el que yo esperaba: dimm 256 mb pc133 a la basura (me lo regaló uno que actualizó su equipo) Lástima…
...pero ha sido la escusa perfecta para dar el salto al Gbyte de RAM (ahora se está testeando toda, así que tardará un poquito).
Gracias por todo 🙂
PD: Uso el memtest por el disquete, y me ha tocado hacerme 4 o 5 disquetes porque cada vez que reinicio, el disquete "se jode" (al arrancar solo salen letras y números pero no la pantalla de diagnóstico).