> replaces an ultra-functional general-purpose kernel evolved over decades to support every conceivable application with a drastically smaller "kernel"

Is a Proxmox kernel that much smaller than a typical Linux kernel?