[coreboot-gerrit] Patch merged into coreboot/master: 6974396 AMD SB800 based boards: Use `#include <sb_cimx.h>` instead of `"sb_cimx.h"`