[coreboot-gerrit] Change in coreboot[master]: sb/intel/common: Use new acpigen_write_PRT_*_entry functions