[coreboot-gerrit] Patch set updated for coreboot: beda287 lenovo/t530/mainboard.c: Include header `h8.h` for prototype