[coreboot] #175: Problem when compiling?