force a config reset when the user changes the target platform in menuconfig
This page took 0.050647 seconds and 3 git commands to generate.