Fix VKERNEL/i386 build.