Hello.
If you can afford it and if you're running on x86, please try the Nova version of Genode and let me know about the outcome, performance-wise of course. I appreciate any hints why the ACPI-driver is not working (other then it is not an x86 computer of course).
Just for curiosity: Have you compared LXI performance with different kernels - NOVA vs FOC? on hardware, ofc