[PATCH] i386: Implement vmi_kmap_atomic_pte