12345678/* SPDX-License-Identifier: GPL-2.0 */ .globl kernel_startkernel_start: .incbin "arch/arm/boot/zImage" .globl kernel_endkernel_end: .align 2