x86, mce: initial steps to make 64bit mce code 32bit clean