[coreboot-gerrit] New patch to review for coreboot: 5752ae2 marvell/bg4cd: add gpio.h to fix broken build