x86: send mce_banks as an array