tree c4fb3c0d77e9e3379a008e794ee9ec306c3abf8c
parent 66f1d21e4c49cc5b2d8fc6035c8cb5a819542bf8
author Patrick Tjin <pattjin@google.com> 1369948872 -0700
committer Patrick Tjin <pattjin@google.com> 1369948872 -0700

hammerhead: rename kernel to zImage-dtb

Change-Id: Icbf86db4715c5f30f8a9f1f32b8aad3056578728