[coreboot] workshop