[coreboot-gerrit] Patch set updated for coreboot: 7a0de3b rambi: add BSP lapic device