In page 57 of tlsr8269 datasheet, there is the content about 'Sys_timer_ctrl' register (0x74c). What are the 'manual set 32k timer mode'(bit 3) and '