[PATCH] i386: need to pass virtual address to smp_read_mpc()