[coreboot-gerrit] New patch to review for coreboot: c1ce71c ibexpeak: ensure config compatibility with bd82x6x