[coreboot-gerrit] Change in coreboot[master]: haswell: Factor out `max_ddr3_freq`