Tweak kernel doc
Change-Id: Iaae3bdcfed45ccdb2d435bd329f04bfb649c97a5
diff --git a/src/source/building-kernels.md b/src/source/building-kernels.md
index 0dc3536..144a2f4 100644
--- a/src/source/building-kernels.md
+++ b/src/source/building-kernels.md
@@ -88,6 +88,10 @@
To build the tuna kernel, you may run the previous commands replacing all
instances of "panda" with "tuna".
-The image is output as arch/arm/boot/zImage. You may copy it as
-device/<vendor>/<name>/kernel or device/ti/panda/kernel in the case of this
+ - The kernel for maguro and toro is `device/samsung/tuna/kernel`
+ - The kernel for crespo and crespo4g is `device/samsung/crespo/kernel`
+ - The kernel for stingray and wingray is `device/moto/wingray/kernel`
+
+The image is output as `arch/arm/boot/zImage`. You may copy it as
+`device/<vendor>/<name>/kernel` or `device/ti/panda/kernel` in the case of this
example.