which gaming console's central processing unit is ghz and built by hewlett-packard ?
SELECT DISTINCT var_uri where brack_open var_uri dbo_cpu dbr_GHz sep_dot var_uri dbo_manufacturer dbr_Hewlett-Packard brack_close