/* SPDX-License-Identifier: GPL-2.0 */
	.globl	kernel_start
kernel_start:
	.incbin	"arch/arm/boot/zImage"
	.globl	kernel_end
kernel_end:
	.align	2