Fix IPI test to be comparable to x86