[PATCH] i386: substitute __va lookup with pfn_to_kaddr