See `cpu/cc25328/clock.c` and `cpu/cc25328/dev/sys-ctrl.c` for a brief discussion on the 16MHz thing.