Small modification in px4io.c causes RGB LED to go solid red

Hi.

I want to add Graupner DSUM protocol to the Pixhawk, which requires modification of the IO processor code.

First I tried to build and upload without any modifications:
make px4-v2-octa-quad-upload
Pixhawk starts correctly after reprogramming.

Then I tried if the IO processor is correctly reprogrammed by making one small modification.
I only swapped these lines of code in px4io.c:
LED_AMBER(false);
LED_BLUE(false);

make px4-v2-octa-quad-upload
RGB LED goes solid red after reprogramming, also after a power cycle.

bootlog shows:
PX4IO CRC OK after updating
PX4IO CRC OK

Do I forget something to modify to get rid of this error?

Best regards,
Jeroen