microkernel build optimizations