force a config reset when the user changes the target platform in menuconfig