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