ELI5: What are the differences between the 5 typical kernels? Micro, Monolithic, Hybrid, Exo, and Nano.