Yep - I have a 9950X desktop. Building the kernel as part of NixOS builds almost every possible option as a module - for ARM64 that takes something like 15 minutes.