En primer lugar le recomiendo a tu amigo echar un ojo al manual de la placa para comprobar si admite PC133, y en cualquier caso que ponga la última Bios diponible
Si sigue sin coger los 128Mb sólos, considera la posibilidad de que pasasen a mejor vida, y prúebalos en el equipo de algún colega, pásale el MemTest+ si lo coge para confirmar que está bien
Evidentemente, si consigues que funcionen los dos módulos deberás tenerlos a 100Mhz porque a 133 el PC100 colgaría el equipo