original_kernel/drivers/firmware/efi/libstub
..
Makefile
arm-stub.c
efi-stub-helper.c
efistub.h
fdt.c