OLPC trac 9574 - Fixed memory size reporting problem for 32-bit memory interface. Also switched the timing test words "t( .. )t" to use the ACPI timer instead of the timestamp counter, because the latter's frequency changes with thermal throttling.
cpu/x86/acpiio.fth