diff --git a/[refs] b/[refs]
index 28b0ecb2cb68..ff950996a751 100644
--- a/[refs]
+++ b/[refs]
@@ -1,2 +1,2 @@
 ---
-refs/heads/master: f7775016c66c2f45125f22968c351c88868ee7a3
+refs/heads/master: 70d8abf5df857ca7befe02e5d61fde807420a54c
diff --git a/trunk/arch/x86/boot/boot.h b/trunk/arch/x86/boot/boot.h
index 8ec575249aa9..7822a4983da2 100644
--- a/trunk/arch/x86/boot/boot.h
+++ b/trunk/arch/x86/boot/boot.h
@@ -241,6 +241,7 @@ int query_apm_bios(void);
 
 /* cmdline.c */
 int cmdline_find_option(const char *option, char *buffer, int bufsize);
+int cmdline_find_option_bool(const char *option);
 
 /* cpu.c, cpucheck.c */
 int check_cpu(int *cpu_level_ptr, int *req_level_ptr, u32 **err_flags_ptr);
diff --git a/trunk/arch/x86/boot/cmdline.c b/trunk/arch/x86/boot/cmdline.c
index cc65a33bf65c..680408a0f463 100644
--- a/trunk/arch/x86/boot/cmdline.c
+++ b/trunk/arch/x86/boot/cmdline.c
@@ -107,7 +107,7 @@ int cmdline_find_option_bool(const char *option)
 	u32 cmdline_ptr = boot_params.hdr.cmd_line_ptr;
 	addr_t cptr;
 	char c;
-	int pos =0 , wstart = 0;
+	int pos = 0, wstart = 0;
 	const char *opptr = NULL;
 	enum {
 		st_wordstart,	/* Start of word/after whitespace */