[new-axhal] Can platform provide timer_irq_num?

[ZR233]

arceos/modules/axruntime/src/lib.rs

Line 262 in c118e85

axhal::irq::register(axconfig::devices::TIMER_IRQ, || {

Can we add a platform interface for it?