Updated high mem patch

From: Paolo Galtieri <hidden>
Date: 2005-10-07 18:09:38

There was a minor error in the high mem patch I posted yesterday.  I
have attached the correct patch.

Paolo