--- stand/i386/gptboot/gptboot.c	2018-04-25 06:19:15.892522000 +0200
+++ stand/i386/gptboot/gptboot.c	2018-06-17 09:02:43.366608000 +0200
@@ -482,9 +482,10 @@ 
 #endif
 	__exec((caddr_t)addr, RB_BOOTINFO | (opts & RBX_MASK),
 	    MAKEBOOTDEV(dev_maj[dsk.type], dsk.part + 1, dsk.unit, 0xff),
-	    KARGS_FLAGS_EXTARG, 0, 0, VTOP(&bootinfo)
 #ifdef LOADER_GELI_SUPPORT
-	    , geliargs
+	    KARGS_FLAGS_EXTARG, 0, 0, VTOP(&bootinfo), geliargs
+#else
+	    0, 0, 0, VTOP(&bootinfo)
 #endif
 	    );
 }