Kernel power supplies are essential for providing power to the core components of the TMR system, including the CPUs. Proper matching of kernel power supplies to the specific type of CPU used is crucial to ensure optimal system performance.