[PATCH] i386: vmi_pmd_clear() static