Rendimiento variable de mbed, dependiendo de la fuente de alimentación

He escrito un programa muy básico (sin la biblioteca mbed) para encender todos los LED en una placa mbed ( enlace ):

#include "lpc17xx.h"

int main (void)
{
    SystemInit();

    LPC_GPIO1->FIODIR = 0xffffffff;         // P1.29 = Outputs
    LPC_GPIO1->FIOCLR = 0xffffffff;         // Turn-OFF LED

    //Loop LED Test
    while(1)
    {
        LPC_GPIO1->FIOSET = 0xffffffff;     // Turn-ON LED

    }
}

Inicialmente ejecuté el programa en el mbed usando la conexión USB estándar, y funcionó perfectamente, con todos los LED encendidos.

Por el contrario, cuando encendí el mbed con un suministro de 5v ( enlace ), los LED se iluminan con un brillo más bajo y parpadean, y en ocasiones se apagan brevemente.

Naturalmente, sospeché que había un problema con el suministro de 5v, pero intenté volver a escribir el programa para usar la biblioteca mbed, y funcionó perfectamente con el suministro de 5v (brillo idéntico, sin parpadeo, etc.):

#include "mbed.h"

DigitalOut myled(LED1);
DigitalOut myled1(LED2);
DigitalOut myled2(LED3);
DigitalOut myled3(LED4);

int main() {
    while(1) {
        myled = 1;
        myled1 = 1;
        myled2 = 1;
        myled3 = 1;

    }
}

Basándome en esto, solo puedo sospechar que el código original no está jugando bien con la fuente externa. ¿Alguien puede explicar lo que está pasando? Estoy completamente perplejo.

Tenga en cuenta que el programa original se compiló con MCUXpresso.