[coreboot] Differencies between AMD microcodes