[coreboot-gerrit] New patch to review for coreboot: 42b74d8 drivers/intel/fsp: split the UEFI HOB functions into hob.c