Problem ist erledigt @36b6fp6s hat mir freundlicherweise einen Patch (Einzeiler) dafür geschickt und es funktioniert wieder wie früher.
void Power_Init(void) {
#if (POWER >= 0 && POWER <= MAX_GPIO)
Port_Write(POWER, POWER_ON, false);
pinMode(POWER, OUTPUT); // Only necessary for GPIO. For port-expander it’s done (previously) via Port_init()
#endif
}
Tausend Dank dafür von mir.