So display rotation after a sleep/wake cycle remains an issue altough not so important one. I barely need it. However occcasional KPs while starting up and during sleep kept bugging me until I changed the Clover option InjectKexts to Yes. I also removed the I2C kexts from /L/E. Now it's more stable I think.
The logs show kernel: (VoodooI2C) VoodooI2CControllerDriver::VoodooI2CDeviceNub Warning: Incompatible APIC interrupt pin (0x33 > 0x2f) and no GPIO interrupts found; if your chosen satellite implements polling then VoodooI2CDeviceNub will run in polling mode.
which probably means I didn't pick the right interrupt. Will have to look into the DSDT again...
Is there a way to find the right interrupt without this try-and-error procedure without guarantee for success?