[coreboot-gerrit] New patch to review for coreboot: 524e710 inteltool: add `-s` to dump spi bar and bios_cntl registers