[MIPS] do_page_fault() needs to use raw_smp_processor_id().