Presently our zone kernels do not provide everything needed to build the nvidia driver. So we wind up using a host kernel image instead with them.