[coreboot] has intel been hacked?