OK, we should put printf's in arch/i386/boot/memory.c and see what
actually gets read out from the BIOS. This could either be a BIOS
problem or a bug in memory.c (or a bug elsewhere in the code that the
change in memory.c triggers, but that seems less likely.)
-hpa
P.S. Are you guys in the Bay Area by any chance?
-