MCA: add support for 56 bit addresses
Bugzilla: https://bugzilla.redhat.com/show_bug.cgi?id=2164637
Tested: by me, sanity
These series add MCA support for addresses using 56 bits instead of
the current 55 bits limit.
Signed-off-by: Aristeu Rozanski arozansk@redhat.com