A genetic algorithm to improve linux kernel performance on resource-constrained devices