Hello Sylvia,
I actually see this problem right now and have the latest version of the BIOS on my D54250WYKH. I am currently using the following memory as specified in the URL you provided to LoPuS in the above thread. ANy ideas?
| Crucial | CT102464BF160B.M16FED, CL11 | 8 GB | 1600 MHz |