properly clean up after kernel_{old,menu}config