x86, MCE, AMD: Use macros to compute bank MSRs