Improve text related to machine-level timer interrupt

We should explicitly specify how machine-level timer interrupt
of a HART is pending and cleared.

Signed-off-by: Anup Patel <anup.patel@wdc.com>