[coreboot-gerrit] Patch set updated for coreboot: toolchain.inc: Skip how to use any toolchain if it's selected