[coreboot-gerrit] Patch set updated for coreboot: 667c2af AMD SB800 boards: Include `SB800.h` instead of `SBPLATFORM.h`