Re: [coreboot] missing files ?