Re: [coreboot] dealing with a malicious OS