diff --git a/hermit/arch/x86/kernel/processor.c b/hermit/arch/x86/kernel/processor.c
index d97c942e9..832d7b2ff 100644
--- a/hermit/arch/x86/kernel/processor.c
+++ b/hermit/arch/x86/kernel/processor.c
@@ -170,6 +170,7 @@ static void fpu_init_xsave(union fpu_state* fpu)
 
 static uint32_t get_frequency_from_mbinfo(void)
 {
+#if 0
 	if (mb_info && (mb_info->flags & MULTIBOOT_INFO_CMDLINE))
 	{
 		// search in the command line for cpu frequency
@@ -179,7 +180,7 @@ static uint32_t get_frequency_from_mbinfo(void)
 
 		return atoi(found+strlen("-freq"));
 	}
-
+#endif
 	return 0;
 }