HP vende en EE.UU. ordenadores con Windows 7 «por petición popular»