x86: Add "make tinyconfig" to configure the tiniest possible kernel

http://git.kernel.org/cgit/linux/kernel/git/torvalds/linux.git/commit/?id=0da1d4a0b9516adb2acc4841e9f6da6618f47f4e
https://twitter.com/naota344/status/519668650668617728

Linux 3.18 "make tinyconfig" allnoconfigした上で、-Osとかinlineとかcompressionとかのサイズを小さくするのoptionを有効にする。組み込み向けのbaselineになる

proc外すパッチも入ったそうな。