- don't build userspace for alt_kernel