[coreboot] tyan s2882 sees only 1 CPU