SculptOS kernel selection?

Genode and Sculpt OS
2

Ok, 1 limitation of HW I’ve just accidentally found in a different topic:
HW kernel doesn’t support CPU mode change (power efficient/balanced/performance), right?