- build userspace tools for alt_kernel