Index: defaults/arm32/output
===================================================================
--- defaults/arm32/output	(revision 31fb9a02a94c2fe4691399bb40bcffb385c3f810)
+++ defaults/arm32/output	(revision 31fb9a02a94c2fe4691399bb40bcffb385c3f810)
@@ -0,0 +1,1 @@
+image.boot