[coreboot] HT credits and the Opteron