[PATCH v2 4/8] Remove HP_TIMING_DIFF_INIT and dl_hp_timing_overhead

[Roland McGrath]

This looks fine to me, and I don't think any machine maintainers objected
(aside from Dave's vague lament, which isn't really an objection).