I got a 14 inch Dell e6470 with 4 physical cpu cores - its stellar machine, everything is working using OS drivers from kernel - I love it - you might consider

I got a 14 inch Dell e6470 with 4 physical cpu cores - its stellar machine, everything is working using OS drivers from kernel - I love it - you might consider that - I like this machine way better than the late 2014 macbook pro (13 inch) my company issued to me.