Re: [coreboot] has intel been hacked?