fix SysCtlClockSet to run at intended 80MHz