properly clean up after kernel_{old,menu}config
This page took 0.052336 seconds and 3 git commands to generate.