In the LS146ARM Clocking chapter, the clock for TMU is 1/2 Platform Clock. Clock enablements such as spi, i2c, gpio, etc. are configured in the DEVDISR register of Chapter 12 “Device Configuration and Pin Control”, but no TMU related configuration bit is found. How should the TMU clock be configured? Thank you!