doc: shorten details on HPET use