[coreboot-gerrit] Patch set updated for coreboot: d1e5231 inteltool: add `-s` to dump spi bar and bios_cntl registers