fix boot image not flashing properly, prevent the error in the future.

Change-Id: I6163e5a519ef28e9e9ea12d5a46d525d1d9d8fb2

updater/install.c

@@ -36,6 +36,8 @@
 #include "updater.h"
 #include "applypatch/applypatch.h"
 
+#include "flashutils/flashutils.h"
+
 #ifdef USE_EXT4
 #include "make_ext4fs.h"
 #endif
@@ -698,7 +700,7 @@ Value* WriteRawImageFn(const char* name, State* state, int argc, Expr* argv[]) {
         goto done;
     }
 
-    if (0 == restore_raw_partition(partition, filename))
+    if (0 == restore_raw_partition(NULL, partition, filename))
         result = strdup(partition);
     else
         result = strdup("");