[coreboot] #177: Not compiling coreBoot