HP’s new ZBook Mobile Workstations pack big power into small packages