remove microkernel dep