@sympatron OK. I do not know where I found that, and cannot see it in the sources either. The only thing I found in the comments to 1.17.3.b1 was to switch of the RGB led early. So maybe it lights up for other reasons. A transition on P2 may bring the LED on. But at least the fact, that it switched off indicates the normal boot being started.