Sure you can install basically any EFI+amd64 distro you want, that also has the correct kernel module. I don't really know why you would want do that (though,

Sure you can install basically any EFI+amd64 distro you want, that also has the correct kernel module. I don't really know why you would want do that (though, RHEL based would be a reasonable 2nd option) Performance of the distro isnt really a big deal because the OS has so little to do with the day to day packet shuffling, My switch runs at a load average (crappy metric I know, but to give you a idea) of 0.04. I apply updates with apt update and apt upgrade, as you would a normal Debian server. Only the kernel is pinned since it is special for the switch, however you can rebuild the kernel deb's when you want, as the driver is in the mainline kernel repo.