are Thinkpad T480 laptops good for running #nixos #nix and doing nix related development on? i5 vs i7 processor?