Describe problem solved by the proposed feature

Currently rt_tick_t only 32bit, it's a little small

Describe your preferred solution

add a Kconfig to configure it with 32bit or 64bit

Describe possible alternatives

No response