This is a case of nominative use. In general, it is fine to use trademarks to refer to the products trademarked, provided that a reasonable person would not be confused about who creates or provides the product, and would not think that the trademark holder has endorsed, authorized, or sponsored the book or other product that refers to the trademark.
It is ...
If the computer is in fact a HAL-9001 (no doubt running the Clarke-68 OS) then the reseller can so describe it without trademark infringement. This is a case of nominative use, where the trademark is used as the name of the thing, to describe and/or refer to it.
In addition, under US law, an attempt to prohibit the reseller from using that ...
Not that I know of because there’s nothing wrong with doing that. The trademark identifies a product and can be used by anyone for that purpose.
What you can’t do is use it in a way that causes confusion that your product is the trademarked product when it isn’t.