Re: [coreboot] Which file should I burn?