[PATCH] arch/i386/kernel/vmi.c must #include <asm/kmap_types.h>