Boosting Linux Power Efficiency with Kernel Scheduler Updates