Re: [coreboot] AMT bug