[coreboot] There are G34 Opteron 6287SE's on ebay (best g34 cpu and very rare)