Make sure BUILD_KERNELS also includes the wrap_vga kernel