[coreboot-gerrit] New patch to review for coreboot: 07fca0c SB800: Remove includes of SBPLATFORM.h and replace by SB800.h