In general, within a generation of processor (and assuming compatible features), the OS doesn’t care about the particular model number, or even core/thread count. The processor reports these to the OS, and it does the right thing. So, support-wise, any 4000 series Intel CPU should be the same as any other (I’m sure there’s some weird corner cases, but they’re corner cases for a reason).