[coreboot-gerrit] Patch merged into coreboot/master: b6a8ec3 ibexpeak / bd82x6x: Make SATA mode user-visible option.