This patch corrects the documentation for cyg_alarm_initiialize() and
adds a reference to the kernel instrumentation documentation. Checked-in.

John Dallaway
eCos maintainer