Update notes for submitted changes

* Do not add HPET timer config to non x86 targets