An Evaluation of Adaptive Partitioning of Real-Time Workloads on Linux