mbed LPC1768 Pintakt zu gering

Hallo,

nach mbed cli Einrichtung spiele ich mit den Pins rum. Seltsamerweise 
taktet der eine Ausgang nur mit 1,8MHz. Der LPC1768 vom Arch Pro Board 
wird jedoch laut Beschreibung mit 96MHz betrieben. Etwas mager was davon 
übrig bleibt.

1

#include "mbed.h"

2

3

DigitalOut P31(P1_31);

4

5

int main() {

6

    while (true) {

7

        P31 = !P31;

8

    }

9

}

Warum ist der Takt so niedrig?