Read through it again... and this is some interesting results: http://www.google.co.uk/search?hl=en&q=%28WW%29+I810%280%29%3A+Detected+stolen+memory+%288000+kB%29+doesn%27t+match+what+the%0D%0ABIOS+reports+%28262080+kB%29&btnG=Search&meta=
Seems you are not alone, and they're both HP as well... hmm.
