The boards of Hewlett Packard (HP) and Electronic data Systems (EDS) have approved a $13.9bn (£7.1bn) acquisition