hammerhead: Define kernel image name to build a proper dtb binary

Change-Id: I7470078f56c666b612a625ef100a0d7b7a4200c6