[coreboot] Patch set updated for coreboot: a5e76f5 AMD CIMx SB800 boards: platform_cfg.h: Hook up Kconfig SATA Mode choice