- don't build userspece for alt_kernel