[coreboot] #113: problem