tool to optimize kernel