x86, MCE, AMD: Use MCG_CAP MSR to find out number of banks on AMD