[coreboot-gerrit] Patch set updated for coreboot: 9b167e1 rambi: add BSP lapic device