"Zap" the Kernel.

Change-Id: I321c2b480dcb8be8fbafbc76d493bf37a733efe2
initial

Change-Id: Ib68e7cf6210b541822f65a4c8907d47b5fe575a1
Fix some typos and format nit-picks.

Change-Id: I12d5b74765ed5f121a6f32e9a747d78547cfe325