[coreboot] Opteron 6284 SE or 6386 SE?