The Kernel Theorem and Microlocal Analysis