[coreboot] how long should the workshop be