Report total OLPC memory size in the memory node reg property and thus the banner, without subtracting the frame buffer and the memory used by things like VSA.
cpu/x86/pc/olpc/probemem.fth