[MIPS] setup.c: use __pa_symbol() where needed