Mitigating OS jitter in Linux