jfding/mic — pull request #9 by saukko (2012-01-18 14:25:22+00:00)
Title: Re introduce --save-kernel cmdline option.

Signed-off-by: Marko Saukko