defconfig: Use OnDemandX instead of OnDemand