[coreboot-gerrit] Patch set updated for coreboot: 1bb4c55 AMD Lamar: Add a new AMD FP3 socket mainboard