defconfig: add stop_machine