[coreboot] bug in geodelx dram setup code in v3?