hw/timer/arm_mptimer.c: Undo accidental rename of arm_mptimer_init()