[PATCH 06/38] tick: create tick_get_cpu_device() to get tick_cpu_device on this cpu