[coreboot] Patch merged into coreboot/master: a5ddac0 AMD CIMx SB800 boards: platform_cfg.h: Integrate Kconfig SATA Mode choice