original_kernel/arch/s390/boot/compressed
..
Makefile
head31.S
head64.S
misc.c
vmlinux.lds.S
vmlinux.scr