Updated Intel XDK build options, rev. 1.1 now.