Re: [coreboot] dell sputnik