powerpc/virtex5: Fix Virtex5 machine check handling