Re: [coreboot] Does the 62xx Series Opteron work *securely* without microcode?