Better Tools for Kernel Evolution, Please!