My HP Envy (A10) laptop is getting old enough that the HDMI port is starting to cause problems (audio missing), so time for a refresh. Any recommendation less than 4lb with enough CPU torun VMs? TIA!