Switched to 25MHz core clock, using HAL layer for PMM from Ti