Thus, one out of every two x86 servers sold in Spain bears the HP label.