[coreboot-gerrit] Change in ...coreboot[master]: cpu/intel/speedstep/acpi: Use get_ia32_fsb_x3() function