U-Boot で Linux カーネルブート時に bootargs でオプション（kernel parameters）を与えられるんだけど、ログレベルを変えるにはどうしたら良いの? って悩みました。答えは、カーネルソースのディレクトリの Documentation/kernel-parameters.txt にありま…