wow, cool link, thanks
have you tried the BIOS updates from this site, do you know how to apply them and what the different versions mean, i.e. what is the difference between 'kbcbios' and 'sysbios', and why are one of the BIOS files names 'T10*.rom', rather than 'R10*.rom' like the rest?
to access -http://mtc.mitacservice.com/visitor/v_FileDown2004C.asp
you need to set browser security to 'default' and may have to also change cookies protection to default, and failing that lower your firewall settings.
then it's simply a matter of selecting 'Notebook' from the drop-down Product menu, then 8050D, followed by the corresponding category, everything's there somewhere.
good luck, and well found on the other link