[
  [
    "linux-2.6.23-orig/arch/sh/kernel/time.c", 
    "linux-2.6.23/arch/sh/kernel/time.c", 
    [
      "--- linux-2.6.23-orig/arch/sh/kernel/time.c", 
      "+++ linux-2.6.23/arch/sh/kernel/time.c", 
      "@@ -255,7 +255,7 @@", 
      "init_sh_clocksource();", 
      "", 
      "if (sh_hpt_frequency)", 
      "-\t\tprintk(\"Using %lu.%03lu MHz high precision timer.\\n\",", 
      "+\t\tprintk(KERN_INFO \"Using %lu.%03lu MHz high precision timer.\\n\",", 
      "((sh_hpt_frequency + 500) / 1000) / 1000,", 
      "((sh_hpt_frequency + 500) / 1000) % 1000);", 
      ""
    ]
  ]
]