[coreboot-gerrit] Change in coreboot[master]: BUG#254: Fixed configuration for DDR Size discovered by Coreboot