[coreboot] GeodeLX RAM initialisation issue