“I see several refurbished hp elitebooks listed - all core i5 8440p models. specs list the system architecture as 32 bit - really??? shouldn't they be 64 bit??? which refurbisher is it?”