x86, mce: use a call vector to call the 64bit mce handler