powerpc/44x: don't use tlbivax on AMP systems