Isn't Proxmox a management layover over Debian and KVM? I doubt the kernel is even smaller.