Kernel-space model installs even though only user-space model rebuilt
If the userspace model is built and installed, then only kernel-space model is built and installed, the target bin directory for the model will have both user space and kernel space binaries, but the userspace binary is out of date.