Did they use the Flash or Mask ROM version of the M3885X in the laptop?
M38857M8-XXXHP 32K 1K Mask ROM 8MHz/3.0 to 3.6V M38858MC-XXXHP 48K 1.5K Mask ROM 8MHz/3.0 to 3.6V M38859FFHP 60K 2K Flash memory 8MHz/3.0 to 3.6V M38859M8-XXXHP 32K 2K Mask ROM 8MHz/3.0 to 3.6V
The notebook comes with an M38859 but I'm not sure which of the two versions it is. Can't seem to easily find out without completely disassembling the machine again.
Stefan