[coreboot-gerrit] Change in coreboot[master]: mb/ocp/deltalake: Override SMBIOS type 4 max speed

[Patrick Rudolph (Code Review)]

Attention is currently required from: Tim Chu.
Patrick Rudolph has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/48640 )

Change subject: mb/ocp/deltalake: Override SMBIOS type 4 max speed
......................................................................

Patch Set 2: Code-Review+1

(2 comments)

File src/mainboard/ocp/deltalake/ramstage.c:

https://review.coreboot.org/c/coreboot/+/48640/comment/7839c01a_a4226842 
PS2, Line 99: smbios_cpu_get_max_speed_mhz
why is this mainboard specific? Shouldn't this part of the SoC as all boards selecting the SoC code support the same sockets/CPUs and thus the max speed is also the same?

https://review.coreboot.org/c/coreboot/+/48640/comment/80cef5af_2cef0ed0 
PS2, Line 102: 	return 4000;
which datasheet is this value from?