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